Jump to Navigation

Verifying hybrid systems with explicit model checkers

TitleVerifying hybrid systems with explicit model checkers
Publication TypeConference Paper
Year of Publication2013
AuthorsPanizo, L., and M-del-M. Gallardo
Conference NameLars-Å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
Date Publishedsep
ISBN Number978-84-695-8331-9


Main menu 2

Biblio | by Dr. Radut