Login / Signup

PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.

Ching-Hua ChowSimon S. Lam
Published in: IEEE Trans. Software Eng. (1988)
Keyphrases
  • programming environment
  • communication protocols
  • programming language
  • process algebra
  • programming environments
  • communication protocol
  • high level
  • novice programmers
  • visual basic
  • multi dimensional
  • model checking