Experiences in the Formalisation and Verification of Medical Protocols
暂无分享,去创建一个
Frank van Harmelen | Annette ten Teije | Mar Marcos | Michael Balser | Christoph Duelli | F. V. Harmelen | A. T. Teije | Mar Marcos | M. Balser | C. Duelli
[1] Subcommittee on Hyperbilirubinemia. Practice Parameter: Management of Hyperbilirubinemia in the Healthy Term Newborn , 1994, Pediatrics.
[2] G Hripcsak,et al. Decision support in healthcare. , 1995, International journal of bio-medical computing.
[3] Kurt Stenzel,et al. Formal System Development with KIV , 2000, FASE.
[4] M. Field,et al. Clinical practice guidelines : directions for a new program , 1990 .
[5] J. Grimshaw,et al. Potential benefits, limitations, and harms of clinical guidelines , 1999, BMJ.
[6] Silvia Miksch,et al. Plan Management in the Medical Domain , 1999, AI Commun..
[7] A Boxwala,et al. Toward the standardization of electronic guidelines. , 2000, M.D. computing : computers in medical practice.
[8] W O Robertson,et al. Personal reflections on the AAP practice parameter on management of hyperbilirubinemia in the healthy term newborn. , 1998, Pediatrics in review.
[9] 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.
[10] G. Legwold,et al. THE AMERICAN ACADEMY OF PEDIATRICS , 1982, The Physician and sportsmedicine.
[11] John Fox,et al. PROforma: a general technology for clinical decision support systems. , 1997, Computer methods and programs in biomedicine.
[12] Ben C. Moszkowski,et al. A Temporal Logic for Multilevel Reasoning about Hardware , 1985, Computer.