A Collision Problem in OSI Standard Formal Specifications.

Thierry Massart

Published in: Comput. Networks ISDN Syst. (1993)

Keyphrases

formal specification
specification languages
object oriented design
process algebra
model checking
reverse engineering
formal methods
specification language
collision detection
programming language
design methodology
concurrent systems