Real-time systems: modeling, design and applications
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789810244248
Date de publication :
6 mars 2007
Langue :
Anglais
Pays d'origine :
Singapour
Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, this book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis.