✦ LIBER ✦

Dependability modeling of real-time systems using stochastic reward nets

✍ Scribed by Cristian Constantinescu; Kishor Trivedi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling and verification of real-time

✍ F. Arendt; B. Klühe 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 695 KB

On a stochastic model of a non-Markovian

✍ S.D. Sharma; Satya Bhushan 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 293 KB

An architecture for the development of r

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 112 KB