1509:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780521883337
- Språk: Engelska
- Antal sidor: 344
- Utgivningsdatum: 2008-09-11
- Förlag: Cambridge University Press