Search
 
loader loading subjects...
cover
Formal Methods for Verification of Clinical Practice Guidelines
Arjen Hommersom, Perry Groot, Michael Balser, Peter Lucas
63 - 80
10.3233/978-1-58603-873-1-63
Chapter 4
Studies in Health Technology and Informatics
Volume 139: Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Abstract

Formal methods play an important role in the development of software and hardware systems. In recent years, there has been a growing interest to apply these methods in the area of medical guidelines and protocols. This paper summarises these efforts, compares the approaches and discusses the role of formal methods in this area.

$35.00 / €27.50 / £22.00
Add PDF to cart