A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients.

Nick Lik San Fung, Marten J. van Sinderen, Valerie M. Jones, Hermie J. Hermens

Browse the full AIME paper archive.