Formal Specification in OSI.

Chris A. Vissers Giuseppe Scollo

Published in: Networking in Open Systems (1986)

Keyphrases

formal specification
model checking
specification languages
object oriented design
reference model
specification language
reverse engineering
process algebra
data abstraction
formal methods
open systems
concurrent systems
formal specification language
multi agent
software components
protocol specification