Título: |
TOWARDS A MORE INTUITIVE SPECIFICATION AND AUTOMATIC VERIFICATION OF SYSTEM PROPERTIES WITH FBT: A TOOL FOR TRANSLATING INTERVAL FORMULAS INTO BÜCHI AUTOMATA |
Tipo de participación en la aportación: |
CONGRESO |
Nombre del congreso: |
VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS () (.2004.PORTO (PORTUGAL)) |
Fecha de celebración del congreso: |
01/01/2004 |
Lugar de celebración del congreso: |
PORTO (PORTUGAL) |
Páginas de la publicación: |
None - None |
Año de publicación: |
2004 |
Autores: |
MIGUEL JUAN HORNOS BARRANCO
|