Please use this identifier to cite or link to this item: http://hdl.handle.net/10553/76658
DC FieldValueLanguage
dc.contributor.authorMarrero, Marioen_US
dc.contributor.authorSuárez Sarmiento, Álvaroen_US
dc.date.accessioned2020-12-14T20:47:20Z-
dc.date.available2020-12-14T20:47:20Z-
dc.date.issued1996en_US
dc.identifier.isbn978-3-540-61648-1en_US
dc.identifier.issn0302-9743en_US
dc.identifier.otherWoS-
dc.identifier.urihttp://hdl.handle.net/10553/76658-
dc.description.abstractLOTOS 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.en_US
dc.languageengen_US
dc.publisherSpringeren_US
dc.relation.ispartofLecture Notes in Computer Scienceen_US
dc.sourceLecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996)en_US
dc.subject1202 Análisis y análisis funcionalen_US
dc.titleEVGC: A tool for visualizing LOTOS behavioural specificationsen_US
dc.typeinfo:eu-repo/semantics/conferenceObjecten_US
dc.typeConferenceObjecten_US
dc.relation.conference4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systemsen_US
dc.identifier.doi10.1007/3-540-61648-9_60en_US
dc.identifier.scopus84947774079-
dc.identifier.isiA1996BH80H00030-
dc.contributor.authorscopusid56970935600-
dc.contributor.authorscopusid7202765632-
dc.description.lastpage478en_US
dc.description.firstpage475en_US
dc.relation.volume1135en_US
dc.investigacionIngeniería y Arquitecturaen_US
dc.type2Actas de congresosen_US
dc.contributor.daisngid6909838-
dc.contributor.daisngid5553693-
dc.description.notasFormal Techniques In Real-Time And Fault-Tolerant Systems. FTRTFT 1996 / Jonsson B., Parrow J. (eds)en_US
dc.description.numberofpages4en_US
dc.identifier.eisbn3-540-61648-9-
dc.identifier.eisbn978-3-540-70653-3-
dc.utils.revisionen_US
dc.contributor.wosstandardWOS:Marrero, M-
dc.contributor.wosstandardWOS:Suarez, A-
dc.date.coverdateEnero 1996en_US
dc.identifier.conferenceidevents121228-
dc.identifier.ulpgcen_US
item.grantfulltextnone-
item.fulltextSin texto completo-
crisitem.author.deptGIR IUCES: Arquitectura y Concurrencia-
crisitem.author.deptIU de Cibernética, Empresa y Sociedad (IUCES)-
crisitem.author.deptDepartamento de Ingeniería Telemática-
crisitem.author.orcid0000-0002-3043-7161-
crisitem.author.parentorgIU de Cibernética, Empresa y Sociedad (IUCES)-
crisitem.author.fullNameMarrero Hernández, Antonio-
crisitem.author.fullNameSuárez Sarmiento, Álvaro-
crisitem.event.eventsstartdate09-09-1996-
crisitem.event.eventsenddate13-09-1996-
Appears in Collections:Actas de congresos
Show simple item record

SCOPUSTM   
Citations

1
checked on Nov 24, 2024

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.