Skip to main content
Home
Centre for Visual Analytics Science and Technology

Breadcrumb

  1. Home
  2. Keywords

Formal Methods

Publications

Annette Teije, Mar Marcos, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, "Improving Medical Protocols by Formal Methods", Artifical Intelligence in Medicine (AIIM), vol. 36, pp. 193–209, 2006.

Main menu

Show — Main menu Hide — Main menu
  • Homepage
  • News
  • Partners
  • Team
  • Projects
  • Publications
  • Theses
    • PhD Theses
    • Master Theses
  • Teaching
    • Open Student Topics
    • Guidelines for Students
  • Research Tips
  • CVAST YouTube channel
  • Contact
    • How to find us

Search

Where to find us

Vienna University of Technology (TU Wien)
Faculty of Informatics
Institute of Visual Computing & Human-Centered Technology
Favoritenstrasse 9-11/193, A-1040 Vienna, Austria

 

TU Wien - Fakultät für Informatik

Datenschutzerklärung
Impressum

Log in

Show — Log in Hide — Log in
  • Log in
Powered by Drupal