Biblio

Found 15 results
Filters: First Letter Of Last Name is M  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
[Anonymous].  2010.  Introducción a la programación en Symbian.
Merino P, Gallardo M-del-M, Sanán D.  2006.  C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs. Joseph Barjis; Ulrich Ulte-Nitsche and Juan C. Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on(...) MSVVEIS, 2006, Paphos, Cyprus, May.
Merino P, Nebro AJesús, Rubio B, Troya JMaría.  2008.  Un Kernel para comunicaciones y entrada-salida en redes de Transputers. Actas de Tercera Reunión sobre Paralelismo.
Merino P, Álvarez JMaría, Panizo L, Pérez FCarlos, Sanz A.  2010.  Communication software: design and testing. Encyclopedia of Software Engineering. :153–169.
Merino P, Schoitsch E.  2008.  Safety-critical software. Ercim News. 75:12–13.
Merino P, Salmeron A.  2010.  Combining SPIN with ns-2 for protocol optimization. Jaco van de Pol y Michael Weber (Eds.). Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings. :40–57.
Merino P, Troya JMaría.  2008.  Modelling and Verification of the ITU-T multipoint communication service with SPIN. Proceedings of The 2nd International Workshop on the SPIN Verification System. :60–71.
Merino P, Panizo L, Díaz A.  2018.  A pan-European infrastructure for research in mobile networks. XXV Jornadas de Concurrencia y Sistemas Distribuidos.
Merino P, Salmeron A.  2010.  Analysis and optimization of video download on mobile devices. XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM).
[Anonymous].  2007.  Implementing Influence Analysis using Parameterized Boolean Equation Systems. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
Merino P, Panizo L, Díaz A.  2018.  EuWireless: design of a pan-European mobile network operator for research. European Conference on Networks and Communications, EuCNC2018.
Martínez J, Merino P, Salmeron A.  2007.  Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems. (CISIS 2007),Vienna, Austria. :185–190.
Martínez J, Merino P, Pérez FCarlos, de la Cámara P, Álvarez JMaría.  2007.  An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
Martínez J, Salmeron A.  2007.  MDA for reliable and high performance communication protocols. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :215–230.
Martínez J, Merino P, Salmeron A, Malpartida F.  2009.  UML-Based model-driven development for HSDPA design. IEEE Software. 26:26–33.