Please use this identifier to cite or link to this item:
http://hdl.handle.net/10553/76658
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Marrero, Mario | en_US |
dc.contributor.author | Suárez Sarmiento, Álvaro | en_US |
dc.date.accessioned | 2020-12-14T20:47:20Z | - |
dc.date.available | 2020-12-14T20:47:20Z | - |
dc.date.issued | 1996 | en_US |
dc.identifier.isbn | 978-3-540-61648-1 | en_US |
dc.identifier.issn | 0302-9743 | en_US |
dc.identifier.other | WoS | - |
dc.identifier.uri | http://hdl.handle.net/10553/76658 | - |
dc.description.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. | en_US |
dc.language | eng | en_US |
dc.publisher | Springer | en_US |
dc.relation.ispartof | Lecture Notes in Computer Science | en_US |
dc.source | Lecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996) | en_US |
dc.subject | 1202 Análisis y análisis funcional | en_US |
dc.title | EVGC: A tool for visualizing LOTOS behavioural specifications | en_US |
dc.type | info:eu-repo/semantics/conferenceObject | en_US |
dc.type | ConferenceObject | en_US |
dc.relation.conference | 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems | en_US |
dc.identifier.doi | 10.1007/3-540-61648-9_60 | en_US |
dc.identifier.scopus | 84947774079 | - |
dc.identifier.isi | A1996BH80H00030 | - |
dc.contributor.authorscopusid | 56970935600 | - |
dc.contributor.authorscopusid | 7202765632 | - |
dc.description.lastpage | 478 | en_US |
dc.description.firstpage | 475 | en_US |
dc.relation.volume | 1135 | en_US |
dc.investigacion | Ingeniería y Arquitectura | en_US |
dc.type2 | Actas de congresos | en_US |
dc.contributor.daisngid | 6909838 | - |
dc.contributor.daisngid | 5553693 | - |
dc.description.notas | Formal Techniques In Real-Time And Fault-Tolerant Systems. FTRTFT 1996 / Jonsson B., Parrow J. (eds) | en_US |
dc.description.numberofpages | 4 | en_US |
dc.identifier.eisbn | 3-540-61648-9 | - |
dc.identifier.eisbn | 978-3-540-70653-3 | - |
dc.utils.revision | Sí | en_US |
dc.contributor.wosstandard | WOS:Marrero, M | - |
dc.contributor.wosstandard | WOS:Suarez, A | - |
dc.date.coverdate | Enero 1996 | en_US |
dc.identifier.conferenceid | events121228 | - |
dc.identifier.ulpgc | Sí | en_US |
item.grantfulltext | none | - |
item.fulltext | Sin texto completo | - |
crisitem.author.dept | GIR IUCES: Arquitectura y Concurrencia | - |
crisitem.author.dept | IU de Cibernética, Empresa y Sociedad (IUCES) | - |
crisitem.author.dept | Departamento de Ingeniería Telemática | - |
crisitem.author.orcid | 0000-0002-3043-7161 | - |
crisitem.author.parentorg | IU de Cibernética, Empresa y Sociedad (IUCES) | - |
crisitem.author.fullName | Marrero Hernández, Antonio | - |
crisitem.author.fullName | Suárez Sarmiento, Álvaro | - |
crisitem.event.eventsstartdate | 09-09-1996 | - |
crisitem.event.eventsenddate | 13-09-1996 | - |
Appears in Collections: | Actas de congresos |
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.