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

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Format: Knjiga
Jezik:Undetermined
Izdano: Hoboken, NJ ISTE/John Wiley 2008
Teme:
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

Podobne knjige/članki