✦ LIBER ✦

Parametric probabilistic transition systems for system design and analysis

✍ Scribed by Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistic design approach for filtra

✍ Y. Zimmels 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 954 KB

Control system design for parametric unc

✍ L. H. Keel; S. P. Bhattacharyya 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 508 KB

A decomposition theorem for probabilisti

✍ Oded Maler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 328 KB

GSOS for probabilistic transition system

✍ Falk Bartels 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 365 KB

Bayesian system for probabilistic stage

✍ Roman Krzysztofowicz; Coire J. Maranzano 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 715 KB

A probabilistic design system for reliab

✍ I. Kaymaz; C.A. McMahon 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 382 KB