Improving medical protocols by formal methods

Annette ten Teije, Mar Marcos, Michel Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty C J G M Rosenbrand, Andreas Seyfang

Research output: Contribution to Journal › Article › Academic › peer-review

Fingerprint

Dive into the research topics of 'Improving medical protocols by formal methods'. Together they form a unique fingerprint.

Computer Science