1. accedaCRIS
  2. Publicaciones
  3. Actas de congresos
Please use this identifier to cite or link to this item: http://hdl.handle.net/10553/74299
DC FieldValueLanguage
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.grantfulltextnone-
item.fulltextSin texto completo-
crisitem.event.eventsstartdate14-09-1998-
crisitem.event.eventsenddate18-09-1998-
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-
Appears in Collections:Actas de congresos
Show simple item record

Page view(s)

193
checked on Jan 11, 2025

Google ScholarTM

Check

Altmetric


Share


Export metadata


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