Real-Time Systems
Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany) Olderog, Henning Dierks
Cambridge University Press, 2008
131,95 €On orderDelivery: 2-3 weeks
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-13
- 9780521883337
- ISBN-10
- 0521883334
- Publisher
- Cambridge University Press
- Year
- 2008
- Publication date
- 2008-09-11
- Pages
- 344
- Dimensions
- 180x249x18
- Weight
- 810