✦ LIBER ✦

A User-friendly Tool for Model Checking Healthcare Workflows

✍ Scribed by Rutle, Adrian; Rabbi, Fazle; MacCaull, Wendy; Lamo, Yngve

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A user-friendly tool for image analysis

✍ H. Nair 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 229 KB

A user-friendly test evaluation tool for

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 137 KB

A tool for model-checking Markov chains

✍ Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 470 KB

A Tool for Abstraction in Model Checking

✍ María del Mar Gallardo; Jesús Martínez; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Powder milk as a user-friendly tool for

✍ Cherkaoui, Sabrine; Paradis, Louis; Bégin, Philippe; Roches, Anne 📂 Article 📅 2014 🏛 BC Decker 🌐 English ⚖ 69 KB

XNBC V9: A user friendly simulation and

✍ Jean-François Vibert; Fabián Alvarez; Efstratios K. Kosmidis 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 478 KB