Protocure: Supporting the Development of Medical Protocols through Formal Methods
暂无分享,去创建一个
Frank van Harmelen | Silvia Miksch | Annette ten Teije | Peter J. F. Lucas | Andreas Seyfang | Mar Marcos | Wolfgang Reif | Michael Balser | Óscar Coltell | Christoph Duelli | Kitty Rosenbrand | Joyce van Croonenborg | Albert Jovell | Peter J.F. Lucas | F. V. Harmelen | S. Miksch | A. T. Teije | W. Reif | Mar Marcos | A. Seyfang | M. Balser | Ó. Coltell | A. Jovell | K. Rosenbrand | J. V. Croonenborg | C. Duelli
[1] . NHG-Standaard Diabetes Mellitus type 2 , 2006 .
[2] Yuval Shahar,et al. The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines , 1998, Artif. Intell. Medicine.
[3] G Hripcsak,et al. Decision support in healthcare. , 1995, International journal of bio-medical computing.
[4] Frank van Harmelen,et al. Using Critiquing for Improving Medical Protocols: Harder than It Seems , 2001, AIME.
[5] Subcommittee on Hyperbilirubinemia. Practice Parameter: Management of Hyperbilirubinemia in the Healthy Term Newborn , 1994, Pediatrics.
[6] Frank van Harmelen,et al. Improving medical protocols through formalisation: a case study , 2002 .
[7] Wolfgang Reif,et al. The KIV System: Systematic Construction of Verified Software , 1992, CADE.