Main image
Click to view image in fullscreen
![]()
Real-Time Systems
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.
910,00 DH
Sur commande
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.
| ISBN / EAN | 9780521883337 |
|---|---|
| Auteur | Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany) |
| Editeur | Cambridge University Press |