Login / Signup
EPVD: An interactive protocol specification and validation environment in Estelle formal specification.
K. C. Huang
T. S. Nain
W. S. Hsieh
C. S. Yang
C. S. Lu
Published in:
Microprocess. Microprogramming (1992)
Keyphrases
</>
formal specification
protocol specification
specification languages
model checking
formal methods
object oriented design
specification language
reverse engineering
communication protocols
concurrent systems
process algebra
artificial intelligence
database
databases
programming environment