✦ LIBER ✦

Using model checking for critiquing based on clinical guidelines

✍ Scribed by Perry Groot; Arjen Hommersom; Peter J.F. Lucas; Robbert-Jan Merk; Annette ten Teije; Frank van Harmelen; Radu Serban

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Underapproximation for model-checking ba

✍ Arie Matsliah; Ofer Strichman 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 207 KB

On using data abstractions for model che

✍ John Derrick; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 444 KB

Clinical guidelines: Expert recommendati

✍ Abramson, Steven B. 📂 Article 📅 2011 🏛 Nature Publishing Group 🌐 English ⚖ 150 KB

Model checks for Cox-type regression mod

✍ Axel Gandy; Uwe Jensen 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 285 KB

Are clinical practical guidelines (CPGs)

✍ M. J. Leach; L. Segal 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

Guidelines for dryer design based on res

✍ Madhu Vinjamur; Richard A. Cairncross 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 150 KB 👁 1 views