Login / Signup
The Pandora Protocol Development System.
Gerard J. Holzmann
Rob A. Beukers
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
real time
lightweight
information processing
learning algorithm
rapid development
neural network
real world
information retrieval
software engineering