ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle.
Jean-Pierre CourtiatPierre de Saqui-SannesPublished in: Comput. Networks ISDN Syst. (1992)
Keyphrases
- simulation environment
- mobile robot
- simulation tool
- autonomous agents
- cryptographic protocols
- reference model
- multi agent based simulation
- face verification
- database
- simulation model
- numerical simulations
- mathematical model
- autonomous robots
- model checking
- formal methods
- simulation models
- real environment
- formal verification
- open systems
- multi agent
- e learning
- robocup soccer
- real time