✦ LIBER ✦

Verification of instrumentation techniques for resource management of real-time systems

✍ Scribed by Zhenyu Tan; William Leal; Lonnie Welch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Verification Techniques for Un

✍ Xiaoqun Du; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Resource Management Middleware for Dynam

✍ Binoy Ravindran; Lonnie Welch; Behrooz Shirazi 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 255 KB

Real-Time Systems || Analysis and Verifi

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Efficient Verification of Parallel Real–

✍ Tomohiro Yoneda; Bernd–Holger Schlingloff 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 452 KB

Formal verification of real-time systems

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB

Predicate diagrams for the verification

✍ Eun-Young Kang; Stephan Merz 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 492 KB