Rapid Prototyping of Protocols from LOTOS Specifications.
Adriano ValenzanoRiccardo SistoLuigi CiminieraPublished in: Softw. Pract. Exp. (1993)
Keyphrases
- rapid prototyping
- code generation
- development environment
- formal specification language
- protocol specification
- formal specification
- manufacturing processes
- agent oriented programming
- high level
- security protocols
- data analysis
- simulation platform
- delay insensitive
- expert systems
- model checking
- visual programming
- website