Login / Signup

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.

Jean-Raymond AbrialDominique CansellDominique 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