Building models of real-time systems from application software.

Joseph Sifakis Stavros Tripakis Sergio Yovine

Published in: Proc. IEEE (2003)

Keyphrases

real time systems
embedded systems
embedded real time systems
distributed systems
software application
real time
low cost
computational models
artificial intelligence
cooperative
mobile devices
software architecture
model driven
real time database systems
real time embedded