✦ LIBER ✦

Oris: a tool for modeling, verification and evaluation of real-time systems

✍ Scribed by Giacomo Bucci; Laura Carnevali; Lorenzo Ridi; Enrico Vicario

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Invited Tool Demonstration Moby/RT: A To

✍ Henning Dierks 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 49 KB

Modeling and verification of real-time s

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 358 KB

A trace based performance evaluation too

✍ Rolf Borgeest; Bernward Dimke; Olav Hansen 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 966 KB

Real-Time Maude: A Tool for Simulating a

✍ Peter Csaba ölveczky; José Meseguer 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 197 KB

An engineering process for the verificat

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

Experimental evaluation of software deve

✍ Andrew J. Kornecki; Janusz Zalewski 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 366 KB