Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.

Robin Bergenthum Joachim Schick

Published in: PNSE @ Petri Nets (2014)

Keyphrases

virtual laboratory
fault diagnosis
model checking
face recognition
process model
medical imaging
databases
medical diagnosis
log data
medical data
model based diagnosis
face verification
medical experts
formal verification
functional verification