Real-Time Systems: Formal Specification And Automatic Verification
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2008 |
| Authors | Ernst-Rüdiger Olderog |
| Henning Dierks | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2601542 |
About Real-Time Systems: Formal Specification And Automatic Verification
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. . . .