Formal Specification of SNMP MIB's Using Action Semantics: The Routing Proxy Case Study.
Elias Procópio Duarte Jr.Martin A. MusicantePublished in: Integrated Network Management (1999)
Keyphrases
- formal specification
- specification languages
- case study
- specification language
- process algebra
- network monitoring
- model checking
- object oriented design
- concurrent systems
- formal methods
- software components
- network management
- real world
- ad hoc networks
- software development
- programming language
- routing algorithm
- temporal logic
- formal semantics
- computer networks
- routing protocol
- open source
- information systems