EPVD: An interactive protocol specification and validation environment in Estelle formal specification

✍ Scribed by K.C. Huang; T.S. Nain; W.S. Hsieh; C.S. Yang; C.S. Lu

• Publisher: Elsevier Science
• Year: 1992
• Weight: 417 KB
• Volume: 35
• Category: Article
• ISSN: 0165-6074
• DOI: 10.1016/0165-6074(92)90296-j