Login / Signup

A Formal Specification Technique and Implementation Method for Protocols.

Thomas P. BlumerRichard L. Tenney
Published in: Comput. Networks (1982)
Keyphrases
  • formal specification
  • similarity measure
  • artificial intelligence
  • high level
  • distributed systems
  • reverse engineering