• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish/report a document
  • Help

Improving medical protocols by formal methods

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

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Annette ten Teije, Mar Marcos, Michael BalserGND, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang ReifORCiDGND, Kitty Rosenbrand, Andreas Seyfang
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/35572
    Parent Title (English):Artificial Intelligence in Medicine
    Type:Article
    Language:English
    Year of first Publication:2006
    Release Date:2017/07/21
    Volume:36
    Issue:3
    First Page:193
    Last Page:209
    DOI:https://doi.org/10.1016/j.artmed.2005.10.006
    Institutes:Fakultät für Angewandte Informatik
    Fakultät für Angewandte Informatik / Institut für Informatik
    Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks