Rigorous implementation of real-time systems - from theory to application.

Tesnim Abdellatif Jacques Combaz Joseph Sifakis

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

real time systems
distributed systems
embedded systems
architectural model
machine learning
fuzzy logic
object oriented
software engineering
e government
mathematical foundations