Formal specification and validation of railway network components using Z notation.

Nazir Ahmad Zafar

Published in: IET Softw. (2009)

Keyphrases

formal specification
software components
specification language
model checking
object oriented design
specification languages
concurrent systems
formal methods
building blocks
communication networks
computer networks
design patterns
network management
network traffic
databases
grid workflow
protocol specification