ZIP
eBook File
"1.46 MB"
, eBook Downloads [2655]
Real-time systems need to react to certain input stimuli within given time bounds.
For example, an airbag in a car has to unfold within 300 milliseconds in a crash.
There are many embedded safety-critical applications
and each requires real-time specification techniques.
This text introduces three of these techniques, based on logic and automata: duration calculus,
timed automa ...
Download eBook Free »
|
 |