Modellierung und Verifikation medizinischer Leitlinien
dc.contributor.author | Schmitt, Jonathan | |
dc.contributor.editor | Hölldobler, Steffen | |
dc.date.accessioned | 2020-08-21T08:42:11Z | |
dc.date.available | 2020-08-21T08:42:11Z | |
dc.date.issued | 2009 | |
dc.description.abstract | Medizinische Leitlinien sind ein Instrument moderner Medizin, das eingesetzt wird, um die Kosten des Gesundheitswesens zu senken und gleichzeitig die Qualität medizinischer Behandlungen zu steigern. Allerdings sind medizinische Leitlinien als natürlichsprachige Dokumente anfällig für Fehler. Die vorliegende Arbeit beschreibt einen Ansatz, mit dem die Korrektheit medizinischer Leitlinien mit Hilfe von Methoden aus dem Bereich der Software Entwicklung bewiesen werden kann. | de |
dc.identifier.isbn | 978-3-88579-413-4 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/33606 | |
dc.language.iso | de | |
dc.publisher | Gesellschaft für Informatik | |
dc.relation.ispartof | Ausgezeichnete Informatikdissertationen 2008 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Dissertations, Volume D-9 | |
dc.title | Modellierung und Verifikation medizinischer Leitlinien | de |
gi.citation.endPage | 270 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 261 |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- 261.pdf
- Größe:
- 103.19 KB
- Format:
- Adobe Portable Document Format