1. accedaCRIS
  2. Publicaciones
  3. Actas de congresos
Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/74299
Campo DC Valoridioma
dc.contributor.authorMarrero Ruíz, Marioen_US
dc.contributor.authorSuárez Sarmiento, Álvaroen_US
dc.contributor.authorCarrión Pérez, Elenaen_US
dc.contributor.authorMacías López, Elsa Maríaen_US
dc.date.accessioned2020-09-09T08:19:51Z-
dc.date.available2020-09-09T08:19:51Z-
dc.date.issued1998en_US
dc.identifier.isbn3-540-65003-2en_US
dc.identifier.issn0302-9743en_US
dc.identifier.otherWoS-
dc.identifier.urihttp://hdl.handle.net/10553/74299-
dc.description.abstractLOTOS is a Formal Description Technique (FDT) that has a strong and obscure textual algebraic notation that is difficult in readability. We have developed a tool that allows to design visual specifications and generate the LOTOS equivalent code. With this tool a lot of time is saved in the specification phase of system simulation.en_US
dc.languageengen_US
dc.publisherSpringeren_US
dc.relation.ispartofLecture Notes in Computer Scienceen_US
dc.sourceIn: Ravn A.P., Rischel H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science [ISSN 0302-9743], v. 1486, p. 303-306, (1998)en_US
dc.subject3325 Tecnología de las telecomunicacionesen_US
dc.subject3307 Tecnología electrónicaen_US
dc.titleSGLOT: A visual tool for structural LOTOS specificationsen_US
dc.typeinfo:eu-repo/semantics/conferenceObjecten_US
dc.typeConferenceObjecten_US
dc.relation.conference5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 98)en_US
dc.identifier.doi10.1007/BFb0055358en_US
dc.identifier.scopus84958615923-
dc.identifier.isi000082522000028-
dc.contributor.authorscopusid56970935600-
dc.contributor.authorscopusid7202765632-
dc.contributor.authorscopusid57127171900-
dc.contributor.authorscopusid7005482663-
dc.description.lastpage306en_US
dc.description.firstpage303en_US
dc.relation.volume1486en_US
dc.investigacionIngeniería y Arquitecturaen_US
dc.type2Actas de congresosen_US
dc.contributor.daisngid6909838-
dc.contributor.daisngid5553693-
dc.contributor.daisngid8941312-
dc.contributor.daisngid8283963-
dc.description.numberofpages4en_US
dc.identifier.eisbn978-3-540-49792-9-
dc.identifier.eisbn978-3-540-65003-4-
dc.utils.revisionSíen_US
dc.contributor.wosstandardWOS:Marrero, M-
dc.contributor.wosstandardWOS:Suarez, A-
dc.contributor.wosstandardWOS:Carrion, E-
dc.contributor.wosstandardWOS:Macias, E-
dc.date.coverdateEnero 1998en_US
dc.identifier.conferenceidevents120258-
dc.identifier.ulpgcSíes
item.fulltextSin texto completo-
item.grantfulltextnone-
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.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.orcid0000-0002-9085-8398-
crisitem.author.parentorgIU de Cibernética, Empresa y Sociedad (IUCES)-
crisitem.author.parentorgIU de Cibernética, Empresa y Sociedad (IUCES)-
crisitem.author.fullNameMarrero Hernández, Antonio-
crisitem.author.fullNameSuárez Sarmiento, Álvaro-
crisitem.author.fullNameMacías López, Elsa María-
crisitem.event.eventsstartdate14-09-1998-
crisitem.event.eventsenddate18-09-1998-
Colección:Actas de congresos
Vista resumida

Visitas

193
actualizado el 11-ene-2025

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.