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...

Full beskrivning

Sparad:
Bibliografiska uppgifter
Materialtyp: Bok
Språk:Undetermined
Publicerad: Hoboken, NJ ISTE/John Wiley 2008
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

Liknande verk