Real time programming: languages, specification and verification
Auteur :
Ramesh, S / Shyamasundar, R K
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789810225667
Date de publication :
6 nov. 2009
Langue :
Anglais
Pays d'origine :
Singapour
The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.