Instituciones
Área de conocimientoPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
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
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
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
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
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
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
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
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
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
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
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
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).
Applications of Information Theory and Artificial Intelligence to Software Testing
Tesis doctoral dirigida por Manuel Núñez García (dir. tes.). Universidad Complutense de Madrid (2022).
Testing activo y pasivo de sistemas con información temporal y probabilística
Tesis doctoral dirigida por Manuel Núñez García (dir. tes.), Mercedes Garcia Merayo (codir. tes.). Universidad Complutense de Madrid (2010).
Marcos temporales y probabilísticos para testing formal
Tesis doctoral dirigida por Manuel Núñez García (dir. tes.), Robert M. Hierons (dir. tes.). Universidad Complutense de Madrid (2009).
Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr
Tesis doctoral dirigida por Manuel Núñez García (dir. tes.). Universidad Complutense de Madrid (2004).
Semánticas para álgebras de procesos estocásticos no Markovianos
Tesis doctoral dirigida por Manuel Núñez García (dir. tes.). Universidad Complutense de Madrid (2003).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados