Bestellen Terug

Hoofdkenmerken

Auteur:	Olderog, Ernst-Rudiger
Titel:	Real-Time Systems Formal Specification and Automatic Verification
Uitgever:	Cambridge University Press
ISBN:	9780521883337
ISBN boekversie:	9780511426933
Land van oorsprong:	United Kingdom
Prijs:	€ 120.35
Verschijningsdatum:	11-09-2008
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Computer networking & communications
Geillustreerd:	Worked examples or Exercises; 26 Tables, unspecified; 26 Halftones, unspecified
Dewey code:	004.33

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	344
Hoogte mm.:	180
Breedte mm.:	249
Dikte mm.:	18
Gewicht gr.:	810

 

Inhoud:

An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.