Instituciones
Área de conocimientoPáginas webIdentificadores de autorPeriodo de publicación recogido
|
|
|
SymPA: un analizador de protocolos para dispositivos móviles
Almudena Díaz Zayas, Pedro Merino Gómez, Francisco Javier Rivas Tocado
Actas del II Congreso Iberoamericano sobre Computación Ubicua: CICU 06, Alcalá de Henares. Junio 7-9 de 2006 / José María Gutiérrez Martínez (ed. lit.), José Ramón Hilera González (ed. lit.), Roberto Barchino Plata (ed. lit.), José Antonio Gutiérrez de Mesa (ed. lit.), José Javier Martínez Herráiz (ed. lit.), Salvador Otón Tortosa (ed. lit.), Luis Bengochea Martínez (ed. lit.), 2006, ISBN 84-8138-703-7, págs. 65-72
Performance monitoring and analysis of wireless communication protocols for mobile devices
Almudena Díaz Zayas, Pedro Merino Gómez, Francisco Javier Rivas Tocado
Proceedings of I International Conference on Ubiquitous Computing: ICUC 06; Alcalá de Henares, Spain, june 7-9, 2006 / coord. por José Ramón Hilera González, Roberto Barchino Plata, José Antonio Gutiérrez de Mesa, José María Gutiérrez Martínez, José Javier Martínez Herráiz, Salvador Otón Tortosa, Luis Bengochea Martínez, 2006, ISBN 84-8138-704-5, págs. 103-108
aSPIN: implementing model checking wih data abstraction
Ernesto Pimentel Sánchez, María del Mar Gallardo Melgarejo, Pedro Merino Gómez, Jesús Martínez Cruz
Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 193-206
Comparing Abstract Semantics for Model Checking
María del Mar Gallardo Melgarejo, Pedro Merino Gómez, Ernesto Pimentel Sánchez
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro, Manuel Palomar Sanz, 2003, ISBN MU-2299-2003, pág. 167
Sistema avanzado de gestión de billetes para transporte público con tarjetas inteligentes
Luis R. López, Jesús Martínez Cruz, Pedro Merino Gómez
IV Jornadas de Ingeniería Telemática: JITEL 2003, Gran Canaria, 15 al 17 de septiembre de 2003 / coord. por Elsa María Macías López, Álvaro Suárez Sarmiento, Carmen Nieves Ojeda Guerra, 2003, ISBN 84-96131-38-6, págs. 65-72
El Protocolo x10: Una Solución Antigua a Problemas Actuales
Pedro Merino Gómez, Jesús Martínez Cruz, Juan C. Cuevas
Simposio de Informática y Telecomunicaciones / coord. por Rafael Corchuelo Gil, Antonio Ruiz Cortés, Diego Sevilla Ruiz, 2002, ISBN 8469994174, págs. 87-96
Property preserving abstractions of SDL
María del Mar Gallardo Melgarejo, Pedro Merino Gómez, José María Troya Linero
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. 111-124
Animación y simulación heterogénea de sistemas operativos de tiempo real
Juan Carlos Dueñas López, Pedro Merino Gómez
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. 119-130
Paralelización de un algoritmo de validación de protocolos
Francisco de Asís Rus Mansilla, Pedro Merino Gómez, Manuel Díaz Rodríguez
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. 405-414
Formal methods for industrial critical systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers
Stefan Leue, Pedro Merino Gómez
Berlin : Springer, [2008. ISBN 3-540-79706-8
Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos
Pedro Merino Gómez
Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1998).
Estudios metalográficos de los diferentes tipos de corrosión: profundidad de los focos de ataque preferente
Pedro Merino Gómez
Tesis doctoral dirigida por Luis Espada Recarey (dir. tes.). Universidade de Santiago de Compostela (1987).
The Multi-connection Tactile Internet Protocol
Tesis doctoral dirigida por Pedro Merino Gómez (dir. tes.). Universidad de Málaga (2023).
Comunicaciones móviles de misión crítica sobre redes lte
Tesis doctoral dirigida por Pedro Merino Gómez (dir. tes.). Universidad de Málaga (2020).
A methodology for obtaining More Realistic Cross-Layer QoS Measurements in mobile networks: a VoIP over LTE Use Case
Tesis doctoral dirigida por Almudena Díaz Zayas (codir. tes.), Pedro Merino Gómez (codir. tes.). Universidad de Málaga (2015).
Model checking techniques for runtime testing and QoS analysis
Tesis doctoral dirigida por Pedro Merino Gómez (dir. tes.). Universidad de Málaga (2014).
Model checking for verification of avionics software
Pedro Manuel de la Cámara Cruz
Tesis doctoral dirigida por María del Mar Gallardo Melgarejo (codir. tes.), Pedro Merino Gómez (codir. tes.). Universidad de Málaga (2013).
Performance evaluation of ip multimedia services in live mobile networks
Tesis doctoral dirigida por Pedro Merino Gómez (dir. tes.). Universidad de Málaga (2009).
Tesis doctoral dirigida por Pedro Merino Gómez (dir. tes.). Universidad de Málaga (2005).
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