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
Vista completa

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.