Skip to main content
Toggle navigation
Inicio
Miembros
Publicaciones
Investigación
Tesis Doctorales
Lineas de investigación
Proyectos
Recursos
Contacto
Publicaciones
Export results:
BibTeX
[
Type
]
Year
Filters:
Author
is
Corrales, Jose A.
[Clear All Filters]
Conference Paper
Using a symbolic model checker for verify safety properties in SA/RT models
,
Tuya, Javier
,
Sánchez Luciano
, and
Corrales Jose A.
, Software Engineering –- ESEC '95, Berlin, Heidelberg, p.59–75, (1995)
Google Scholar
BibTeX