Modeling and Verification of Real-Time Systems

Modeling and Verification of Real-Time Systems

for $ 204.00 , or download a preview

204.0 Modeling and Verification of Real-Time Systems https://covers.feedbooks.net/item/458152.jpg?t=1606958063 https://www.feedbooks.com/item/458152/modeling-and-verification-of-real-time-systems?utm_medium=uwishlist&utm_source=amazon

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 associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches… (more)


Book Details  


Publisher: Wiley-Iste (March 06, 2013)

Format: EPUB

Page count: 448 pages

File size: 4 MB

Protection: DRM

Language: English


Look for similar items  


>
>