Manuel Núñez García

• Artículos de revistas (3)
• Colaboraciones en obras colectivas (5)
• Reseñas (1)
• Libros (2)
• Tesis (1)
• Tesis dirigidas (5)

• Artículos de revistas

  • Seleccionado

    Using Squeeziness to test component-based systems defined as Finite State Machines

    Alfredo Ibias, Robert M. Hierons , Manuel Núñez García

    Information and software technology, ISSN 0950-5849, Nº 112, 2019, págs. 132-147

    • Texto completo
    
  • Seleccionado

    A tool supported methodology to passively test asynchronous systems with multiple users

    Mercedes Garcia Merayo , Robert M. Hierons, Manuel Núñez García

    Information and software technology, ISSN 0950-5849, Nº 104, 2018, págs. 162-178

    • Texto completo
    
  • Seleccionado

    Análisis de Modelos de Negocio de Distribución Comercial

    Manuel Núñez García

    Investigación y marketing, ISSN 1131-6144, Nº. 79, 2003, págs. 28-33

    • Resumen
    

• Colaboraciones en obras colectivas

  • Seleccionado

    A Formal Framework to Reduce Communications in Communication Systems

    Ismael Rodríguez Laguna , Fernando Rubio Díez , Manuel Núñez García

    Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers / coord. por Helena Unger, Herwig Unger; Víctor Manuel Larios Rosillo (aut.), Thomas Böhme (aut.), 2006, ISBN 9783540288800, págs. 69-80

    
  • Seleccionado

    NMSPA: a non-Markovian model for stochastic processes

    Natalia López Barquilla, Manuel Núñez García

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 319-332

    
  • Seleccionado

    Introducing friendly testing

    L. F. Llana , David de Frutos Escrig , Manuel Núñez García

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias , Martín Llamas Nistal , José Juan Pazos Arias , 1997, ISBN 84-8158-065-1, págs. 281-292

    
  • Seleccionado

    Asociatividad en álgebras de procesos probabilísticas

    Manuel Núñez García, Pedro Palao-Gostanza, Marco T. Morazan

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 135-154

    • Resumen
    
  • Seleccionado

    Familias de operadores asociadas a las ecuaciones de la Magnetohidrodinámica

    Luis Alberto Tristán Vega, Manuel Núñez García

    Actas del XII C.E.D.Y.A. : (Congreso de Ecuaciones Diferenciales y Aplicaciones) : II Congreso de Matemática Aplicada : septiembre 1991, 1991, ISBN 84-7468-736-5, págs. 257-262

    

• Reseñas

  • Seleccionado

    How China escaped shock therapy The market reform debate Routledge, 2021

    Manuel Núñez García, Enrique San Miguel Pérez

    Revista de economía mundial, ISSN 1576-0162, Nº 62, 2022, págs. 193-198

    Es reseña de:

    • How China escaped shock therapy The market reform debate

      Isabella M. Weber

      USA : Routledge, 2021

    • Resumen
    • Texto completo
    

• Libros

  • Seleccionado

    Semánticas de pruebas para álgebras de procesos probabilísticos

    Manuel Núñez García

    Madrid : Universidad Complutense de Madrid, Vicerrectorado de Extensión Universitaria, [2001]. ISBN 84-669-0709-2

    
  • Seleccionado

    Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]

    Manuel Núñez García, David de Frutos Escrig

    Universidad Complutense de Madrid. ISBN 1-4135-5979-4

    

• Tesis

  • Seleccionado

    Semánticas de pruebas para álgebras de procesos probabilísticos

    Manuel Núñez García

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.) . Universidad Complutense de Madrid (1996).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

• Tesis dirigidas

  • Seleccionado

    Applications of Information Theory and Artificial Intelligence to Software Testing

    Alfredo Ibias

    Tesis doctoral dirigida por Manuel Núñez García (dir. tes.). Universidad Complutense de Madrid (2022).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Testing activo y pasivo de sistemas con información temporal y probabilística

    Cesar Andrés Sánchez

    Tesis doctoral dirigida por Manuel Núñez García (dir. tes.), Mercedes Garcia Merayo (codir. tes.) . Universidad Complutense de Madrid (2010).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Marcos temporales y probabilísticos para testing formal

    Mercedes Garcia Merayo

    Tesis doctoral dirigida por Manuel Núñez García (dir. tes.), Robert M. Hierons (dir. tes.) . Universidad Complutense de Madrid (2009).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr

    Ismael Rodríguez Laguna

    Tesis doctoral dirigida por Manuel Núñez García (dir. tes.). Universidad Complutense de Madrid (2004).

    • Resumen
    
  • Seleccionado

    Semánticas para álgebras de procesos estocásticos no Markovianos

    Natalia López Barquilla

    Tesis doctoral dirigida por Manuel Núñez García (dir. tes.). Universidad Complutense de Madrid (2003).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.