Biblio

Found 131 results
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 
V
Gallardo M-del-M, Sanán D.  2012.  Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.
Gallardo M-del-M, Sanán D.  2010.  Verification of dynamic data tree with mu-calculus extended with separation. V{íctor M. Gul{ías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010. :109–110.
Gallardo M-del-M, Sanán D.  2010.  Verification of dynamic data tree with mu-calculus extended with separation. Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy. :211–221.
de la Cámara P, Castro R, Gallardo M-del-M, Merino P.  2010.  Verification support for arinc-653-based avionics software (to appear). Software Testing Verification & Reliability.
Panizo L, Gallardo M-del-M.  2013.  Verifying hybrid systems with explicit model checkers. Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013. :1–15.
[Anonymous].  2007.  VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga.

Pages