Specification and Verification of a Network Nail System.
Susan S. OwickiPublished in: Program Construction (1978)
Keyphrases
- network model
- communication networks
- protocol specification
- formal verification
- computer networks
- model checking
- network architecture
- complex networks
- community structure
- asynchronous circuits
- communication protocols
- network design
- real time
- network structure
- network parameters
- neural network
- formal methods
- network management
- formal specification
- artificial intelligence
- link prediction
- bayesian networks