Please use this identifier to cite or link to this item:
http://hdl.handle.net/10553/76658
Title: | EVGC: A tool for visualizing LOTOS behavioural specifications | Authors: | Marrero, Mario Suárez Sarmiento, Álvaro |
UNESCO Clasification: | 1202 Análisis y análisis funcional | Issue Date: | 1996 | Publisher: | Springer | Journal: | Lecture Notes in Computer Science | Conference: | 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems | Abstract: | 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 | Source: | Lecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996) |
Appears in Collections: | Actas de congresos |
SCOPUSTM
Citations
1
checked on Mar 30, 2025
WEB OF SCIENCETM
Citations
1
checked on Feb 25, 2024
Page view(s)
145
checked on Nov 1, 2024
Google ScholarTM
Check
Altmetric
Share
Export metadata
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.