A model-based approach for the specification and verification of clinical guidelines.

Simona Bernardi, Jos Manuel Colom, Jorge Albareda, Cristian Mahulea

Browse the full ETFA paper archive.