|
Protocure I untersucht die Anwendung formaler Verifikationsmethoden um die Qualität von klinischen Leitlinien- und Protokollapplikationen zu erhöhen.
Protocure II zielt auf die Integration formaler Methoden in den Lebenszyklus von klinischen Leitlinien ab.
mehr zu Protocure
|