Modeling and verification of real-time systems : Formalisms and software tools

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and as...

Descripció completa

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:Undetermined
Publicat: Hoboken, NJ ISTE/John Wiley 2008
Matèries:
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ