✦ LIBER ✦

Comments on "An Interval Logic for Real-Time System Specification"

✍ Scribed by Furia, C.A.; Morzenti, A.; Pradella, M.; Rossi, M.G.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reply to comments on "An Interval Logic

✍ Bellini, P.; Nesi, P.; Rogai, D. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 730 KB

An interval logic for real-time system s

✍ Mattolini, R.; Nesi, P. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 457 KB

Logical formalism for specification of r

✍ D. Yu. Bugaichenko; I. P. Solov’ev 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 167 KB

an approach to formal specification and

✍ Yulin Yao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 473 KB

Comment on "A pre-run-time scheduling al

✍ Abdelzaher, T.F.; Shin, K.G. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 32 KB

An intelligent method for real-time dete

✍ Jiangtao Wang; Geng Yang 📂 Article 📅 2008 🏛 SP Science Press 🌐 English ⚖ 227 KB