✦ LIBER ✦

Predicate Abstraction for Dense Real-Time Systems

✍ Scribed by M.Oliver Möller; Harald Rueß; Maria Sorea

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Predicate diagrams for the verification

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

Real-Time Systems || Timing Analysis of

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

Time considered irrelevant for real-time

✍ W. M. Turski 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 902 KB

Graphical programming for real time syst

✍ J.-J. Schwarz; J.-J. Skubich 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 520 KB

Network invariants for real-time systems

✍ Olga Grinchtein; Martin Leucker 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 469 KB

Timed Modal Logics for Real-Time Systems

✍ Patricia Bouyer; Franck Cassez; François Laroussinie 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 499 KB