Login / Signup
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.
Jean-Raymond Abrial
Dominique Cansell
Dominique Méry
Published in:
Formal Aspects Comput. (2003)
Keyphrases
</>
information processing
software engineering
incremental learning
binary tree
information systems
digital libraries
knowledge based systems
b tree
communication protocol