Biblio

Found 8 results
Filters: First Letter Of Title is I  [Clear All Filters]
2016
Lavado L, Panizo L, Gallardo M-del-M.  2016.  Implementing a Hy-tccp interpreter for simulation. XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’16).
2012
Salmeron A, Merino P.  2012.  Integration of model checking and simulation for protocol analysis. XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012. :153–168.
2010
Díaz A, Merino P.  2010.  Incorporanto TCP/IP en las aplicaciones Symbian. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :131–158.
[Anonymous].  2010.  Introducción a la programación en Symbian.
2009
Gallardo M-del-M, Merino P, Panizo L.  2009.  Integration of quantitative aspects into SPIN to develop a decision support tool for dams. Susana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings. :95–100.
2007
[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.