✦ LIBER ✦

A scenario-matching approach to the description and model checking of real-time properties

✍ Scribed by Braberman, V.; Kicillof, N.; Olivero, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

How to Verify a Safe Real-Time System: T

✍ A. Burns 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 557 KB

A novel approach to the real-time modell

✍ Richard Norreys; Ian Cluckie 📂 Article 📅 1997 🏛 IWA Publishing 🌐 English ⚖ 499 KB

A possible approach to the description o

✍ V. V. Fedorov 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 575 KB

[Lecture Notes in Computer Science] Form

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB

A Model Description of the Thermochemica

✍ J. Björkvall; Du Sichen; V. Stolyarova; S. Seetharaman 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 163 KB

A new approach to the description of the

✍ S. V. Bronnikov; V. I. Vettegren'; S. Ya. Frenkel' 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 327 KB