✦ LIBER ✦

An interval logic for real-time system specification

✍ Scribed by Mattolini, R.; Nesi, P.

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

Reply to comments on "An Interval Logic

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

Logical formalism for specification of r

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

Timed Modal Logics for Real-Time Systems

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

A Real-Time Discrete Event System Specif

✍ Joon Sung Hong; Hae-Sang Song; Tag Gon Kim; Kyu Ho Park 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 604 KB

A real-time expert system for trigger-lo

✍ S. Clearwater; W. Cleland; F. Provost; E. Stern; Z. Zhang 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 676 KB