Modular Design and Verification of Distributed Adaptive Real-Time Systems.

Thomas Göthel Björn Bartels

Published in: ICTCC (2014)

Keyphrases

real time systems
modular design
distributed systems
real time embedded
mission critical
real time
distributed environment
embedded systems
real time database systems
multi agent
architectural model
mobile agents
low cost
cooperative
distributed database systems
model checking
object oriented programming language