Identificador persistente para citar o vincular este elemento:
http://hdl.handle.net/10553/76658
| Campo DC | Valor | idioma |
|---|---|---|
| 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.fulltext | Sin texto completo | - |
| item.grantfulltext | none | - |
| crisitem.event.eventsstartdate | 09-09-1996 | - |
| crisitem.event.eventsenddate | 13-09-1996 | - |
| 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 | - |
| Colección: | Actas de congresos | |
Citas SCOPUSTM
1
actualizado el 14-abr-2024
Citas de WEB OF SCIENCETM
Citations
1
actualizado el 25-feb-2024
Visitas
86
actualizado el 14-oct-2023
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.