Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

Bokus

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

2 964.00 kr

Liknande produkter