✦ LIBER ✦

Reply to comments on "An Interval Logic for Real-Time System Specification"

✍ Scribed by Bellini, P.; Nesi, P.; Rogai, D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "An Interval Logic for Real-

✍ Furia, C.A.; Morzenti, A.; Pradella, M.; Rossi, M.G. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 545 KB

An interval logic for real-time system s

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

an approach to formal specification and

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

Reply to the comments on ‘Forecasting wi

✍ Tom Stark; Dean Croushore 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 52 KB

A formal approach to the specification a

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB

Comments, with reply, on 'A noninvasive

✍ Ford, R. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 178 KB