Showing results (1-10 of 3) with videos related to

Sort By:
Pageof 1
Studies in Health Technology and Informatics|September 23, 2008
Verification of medical guidelines in KIVJonathan Schmitt, Michael Balser, Wolfgang Reif
Studies in Health Technology and Informatics|September 23, 2008
Formal methods for verification of clinical practice guidelinesArjen Hommersom, Perry Groot, Michael Balser, et al.
Studies in Health Technology and Informatics|November 13, 2004
Protocure: supporting the development of medical protocols through formal methodsMichael Balser, Oscar Coltell, Joyce van Croonenborg, et al.
Pageof 1