Parametric verification of the IEEE 1394a root contention protocol using LPMC

WJ Toetenel, RF Lutje Spelberg, G Bandini

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings
Editors DC Young
Place of PublicationLos Alamitos
PublisherIEEE
Pages207-214
Number of pages8
ISBN (Print)0-7695-0930-4
Publication statusPublished - 2000
Event7th International Conference on Real-Time Computing Systems and Applications, Cheju, Korea - Los Alamitos
Duration: 12 Dec 200014 Dec 2000

Publication series

Name
PublisherIEEE Computer Society

Conference

Conference7th International Conference on Real-Time Computing Systems and Applications, Cheju, Korea
Period12/12/0014/12/00

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this

Toetenel, WJ., Lutje Spelberg, RF., & Bandini, G. (2000). Parametric verification of the IEEE 1394a root contention protocol using LPMC. In DC Young (Ed.), Proceedings (pp. 207-214). IEEE.