Jump to Navigation

Extending model checkers for hybrid system verification: the case study of Spin

TitleExtending model checkers for hybrid system verification: the case study of Spin
Publication TypeConference Paper
Year of Publication2011
AuthorsGallardo, M-del-M., and L. Panizo
Conference NameErnesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011
Date Publishedjul
PublisherDpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid
ISBN Number84-96737-99-0


Main menu 2

Biblio | by Dr. Radut