OpenAlex · Aktualisierung stündlich · Letzte Aktualisierung: 17.05.2026, 15:29

Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.

Adopting model checking techniques for clinical guidelines verification

2009·57 Zitationen·Artificial Intelligence in Medicine
Volltext beim Verlag öffnen

57

Zitationen

6

Autoren

2009

Jahr

Abstract

Für dieses Paper ist kein Abstract in der Datenbank hinterlegt.

Abstract beim Verlag einsehen

Ähnliche Arbeiten

Autoren

Institutionen

Themen

Electronic Health Records SystemsClinical practice guidelines implementationFormal Methods in Verification
Volltext beim Verlag öffnen