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
Show full item record

WEB OF SCIENCETM
Citations

1
checked on May 16, 2021

Page view(s)

25
checked on May 16, 2021

Google ScholarTM

Check

Altmetric


Share



Export metadata



Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.