Validation Support for Distributed Real-Time Embedded Systems in VDM++.

John S. Fitzgerald Simon Tjell Peter Gorm Larsen Marcel Verhoef

Published in: HASE (2007)

Keyphrases

real time embedded systems
distributed environment
distributed systems
real time
cooperative
distributed network
neural network
machine learning
web services
multi agent
computer networks
mission critical
collaborative decision making