An integrated verification environment for JML: architecture and early results.
Patrice ChalinPerry R. JamesGeorge KarabotsosPublished in: SAVCBS (2007)
Keyphrases
- real time
- simulation environment
- service architecture
- dynamic environments
- complex environments
- environmental conditions
- model checking
- agent model
- autonomous systems
- software architecture
- management system
- mobile robot
- reinforcement learning
- distributed architecture
- client server architecture
- execution environment
- genetic algorithm