Real-Time Systems: Formal Specification and Automatic Verification by Henning Di
102,96 €
By Henning Dierks, Ernst-Rüdiger Olderog. An airbag in a car has to unfold within 300 milliseconds in a crash. Preface; 1. Introduction; 2. Duration calculus ; 3. Properties and subsets of DC; 4.
Jetzt bei Ebay:
