Echtzeitsysteme: Formale Spezifikation und automatische Verifizierung von Henning Di
151,12 €
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:
