UGR
  |
> >
None
(Ref. TIC-230)
14
marzo
2025
marzo 2025
<- ->
L M X J V S D
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31

Producción científica

< VOLVER AL LISTADO

Detalles de la aportación al congreso

Publicación
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

[Decargar BibTex]
Desarrollado por: