Login / Signup
Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications.
Adrian E. Conway
Dragomir D. Dimitrijevic
R. Hwang
Published in:
Data Communication Networks and their Performance (1993)
Keyphrases
</>
formal specification
protocol specification
formal specification language
specification languages
network simulator
model checking
formal methods
specification language
communication protocols
object oriented design
concurrent systems
artificial intelligence
database
information systems
aodv routing protocol