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

1 - 1 von 1