Ausgabe 2/1997
Inhalt (5 Artikel)
Computing Accumulated Delays in Real-time Systems
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
Verification of Real-Time Systems using Linear Relation Analysis
Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff