Search: onr:"swepub:oai:DiVA.org:ri-21435" >
Specification and v...
Specification and validation of a simple overtaking protocol using LOTOS
Publisher, publication year, extent ...
-
Kista, Sweden :Swedish Institute of Computer Science,1990
-
27 s.
-
electronicrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:ri-21435
-
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21435URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:vet swepub-contenttype
-
Subject category:rap swepub-publicationtype
Series
-
SICS Technical Report,1100-3154 ;T90:06
Notes
-
Original report number T90006.
-
We present a specification of a simple Overtaking protocol for vehicles using the Formal Description Technique LOTOS. A detailed description of the design process leading to this specification is given. The design process involves early use of simulation and validation tools available for LOTOS. We discuss the applicability of existing tools in the context of this example.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Fredlund, Lars-ÅkeRISE,SICS
(author)
-
Jonsson, BengtRISE,SICS
(author)
-
RISESICS
(creator_code:org_t)
Internet link
To the university's database