Jump to Navigation

Estado del arte de herramientas para la verificación de sistemas híbridos

TitleEstado del arte de herramientas para la verificación de sistemas híbridos
Publication TypeConference Paper
Year of Publication2008
AuthorsGallardo, M-del-M., P. Merino, and L. Panizo
Conference NameLlanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio
Date Publishedjun
ISBN Number978-84-691-2813-8


Main menu 2

Biblio | by Dr. Radut