The top documents tagged [invariants safety properties]

Run-Time Guarantees for Real-Time Systems Reinhard Wilhelm Saarbrücken.

---

222 views

Determination of Worst-Case Execution Times Reinhard Wilhelm.

---

215 views