Identificador persistente para citar o vincular este elemento:
http://hdl.handle.net/10553/76658
| Título: | EVGC: A tool for visualizing LOTOS behavioural specifications | Autores/as: | Marrero, Mario Suárez Sarmiento, Álvaro |
Clasificación UNESCO: | 1202 Análisis y análisis funcional | Fecha de publicación: | 1996 | Editor/a: | Springer | Publicación seriada: | Lecture Notes in Computer Science | Conferencia: | 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems | Resumen: | LOTOS is a Formal Description Technique (FDT) that has an strong and obscure textual algebraic notation that difficult its readability. To solve this problem we have developed a new tool that basically facilitates this readability. This tool represents graphically textual LOTOS specifications through a graph in which real time systems requirements could be considered. We have applied this tool to the specification of different systems. | URI: | http://hdl.handle.net/10553/76658 | ISBN: | 978-3-540-61648-1 | ISSN: | 0302-9743 | DOI: | 10.1007/3-540-61648-9_60 | Fuente: | Lecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996) |
| Colección: | Actas de congresos |
Citas SCOPUSTM
1
actualizado el 17-nov-2024
Citas de WEB OF SCIENCETM
Citations
1
actualizado el 25-feb-2024
Visitas
145
actualizado el 01-nov-2024
Google ScholarTM
Verifica
Altmetric
Comparte
Exporta metadatos
Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.