Searching for "Improving medical protocols by formal methods." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Improving medical protocols by formal methods
by Annette Teije, Mar Marcos, Michel Balser, Joyce Croonenborg, Christoph Duelli, Frank Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Universität Augsburg, Lehrstuhl Softwaretechnik Und Programmiersprachen — 2006 — Artificial Intelligence in Medicine
…Improving medical protocols by formal methods ∗ Annette ten Teije 1† Mar Marcos 2 Michel Balser 3…
Cited by 5 (1 self) – Add To MetaCart

Teije. Protocure: Supporting the development of medical protocols through formal methods
by Michael Balser, Oscar Coltell, Joyce Van Croonenborg, Christoph Duelli, Frank Van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbr, Andreas Seyfang, Annette Ten Teije — 2004 — SCPG-04, number 101 in Studies in health technology and informatics
…Protocure: Supporting the Development of Medical Protocols through Formal Methods Michael Balser…
Cited by 4 (2 self) – Add To MetaCart

Experiences in the Formalisation and Verification of
by Medical Protocols Mar, Mar Marcos, Michael Balser, Annette Ten Teije, Frank Van Harmelen, Christoph Duelli, Universität Augsburg, Lehrstuhl Softwaretechnik Und Programmiersprachen
…, namely the quality improvement of medical protocols by formal methods. In this paper we report on our…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB