✦ LIBER ✦

Probabilistic verification of a biodiesel production system using statistical model checking

✍ Scribed by Riley, D.D.; Koutsoukos, X.

Book ID: 127264214
Publisher: Taylor and Francis Group
Year: 2013
Tongue: English
Weight: 517 KB
Volume: 20
Category: Article
ISSN: 1387-3954
DOI: 10.1080/13873954.2013.832333

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of a Railway Interlo

Formal Verification of a Railway Interlocking System using Model Checking

✍ A. Cimatti; F. Giunchiglia; G. Mongardi; D. Romano; F. Torielli; P. Traverso 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 130 KB

Verification of a logically controlled,

Verification of a logically controlled, solids transport system using symbolic model checking

✍ Scott T. Probst; Gary J. Powers; D.E. Long; I. Moon 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

Dynamic Power Management of a System Wit

Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking

✍ Sesic, A.; Dautovic, S.; Malbasa, V. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 165 KB

A novel collaborative scheme of simulati

A novel collaborative scheme of simulation and model checking for system properties verification

✍ Ming Zhu; Jinian Bian; Weimin Wu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 458 KB

A model checking-based approach for secu

A model checking-based approach for security policy verification of mobile systems

✍ Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 532 KB

Mechanistic modeling of biodiesel produc

Mechanistic modeling of biodiesel production using a liquid lipase formulation

✍ Price, Jason; Hofmann, Björn; Silva, Vanessa T. L.; Nordblad, Mathias; Woodley, 📂 Article 📅 2014 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 785 KB