Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS

Mihaela Sighireanu; Radu Mateescu

doi:10.1007/s100090050018

Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 1998

Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS

(1) , (1)

1

Mihaela Sighireanu

Fonction : Auteur
PersonId : 181411
IdHAL : mihaela-sighireanu
ORCID : 0000-0002-1925-089X
IdRef : 161342728

System validation - Research and applications

Radu Mateescu

Fonction : Auteur
PersonId : 834239

System validation - Research and applications

Mots clés

E-LOTOS formal methods IEEE 1394 LOTOS datagram protocol temporal logic validation verification

Domaines

Génie logiciel [cs.SE]

Mihaela Sighireanu : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00109622

Soumis le : mercredi 25 octobre 2006-09:58:08

Dernière modification le : jeudi 4 avril 2024-21:15:30

Dates et versions

hal-00109622 , version 1 (25-10-2006)

Identifiants

HAL Id : hal-00109622 , version 1
DOI : 10.1007/s100090050018

Citer

Mihaela Sighireanu, Radu Mateescu. Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS. International Journal on Software Tools for Technology Transfer, 1998, 2(1), pp.68-88. ⟨10.1007/s100090050018⟩. ⟨hal-00109622⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG INRIA2 LIG_SIDCH

89 Consultations

0 Téléchargements

Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager