IEEE 1394 tree identify protocol: Introduction to the case study

DOI10.1007/S001650300001zbMath1029.68018OpenAlexW2602326018MaRDI QIDQ1402470

Savi Maharaj, Carron Shankland, Judi Romijn

Publication date: 27 August 2003

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1893/10693

zbMATH Keywords

Formal methodsIEEE standardComparative case studyFireWire

Mathematics Subject Classification ID

Network protocols (68M12)

Uses Software

• Uppaal2k

This page was built for publication: IEEE 1394 tree identify protocol: Introduction to the case study