✦ LIBER ✦

Engineering the Usability of a Visual Formalism for Real-time Temporal Logic

✍ Scribed by ENRICO VICARIO

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Principles of program synthesis for real

✍ A. A. Ros' 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 702 KB

A formal approach to the specification a

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

A test for the temporal axial gauge at f

✍ K. A. James 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 504 KB

A web-mapping system for real-time visua

✍ Liqiang Zhang; Chongjun Yang; Donglin Liu; Yingchao Ren; Xiaoping Rui 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 561 KB

An engineering process for the verificat

✍ A. Burns; T. -M. Lin 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 361 KB

[Lecture Notes in Computer Science] Acti

✍ Andler, Sten F.; Hansson, Jörgen 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 270 KB