A mechanically proved and incremental development of IEEE 1394 tree identify protocol
From MaRDI portal
Publication:1402471
DOI10.1007/S001650300002zbMath1029.68011OpenAlexW2083336677MaRDI QIDQ1402471
Jean-Raymond Abrial, Dominique Méry, Dominique Cansell
Publication date: 27 August 2003
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650300002
Related Items (6)
Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm ⋮ Unnamed Item ⋮ On the Purpose of Event-B Proof Obligations ⋮ On the purpose of Event-B proof obligations ⋮ Developing Topology Discovery in Event-B ⋮ Developing topology discovery in Event-B
Uses Software
This page was built for publication: A mechanically proved and incremental development of IEEE 1394 tree identify protocol
