Oscar Coltell
Publications
| Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "Protocure: Supporting the Development of Medical Protocols through Formal Methods", Proceedings of the International Joint Meeting EuroMISE 2004, pp. 81, 2004. | |
| Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols", Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004), vol. 101, pp. 103–107, 2004. |