Modeling and Verifying Timed Compensable Workflows and an Application to Health Care.

Ahmed Shah Mashiyat Fazle Rabbi Wendy MacCaull

Published in: FMICS (2011)

Keyphrases

health care
medical information
health care costs
primary care
information systems
health data
petri net
intensive care
medical records
patient care
heart failure
databases
medical students
model checking
health insurance
web services
health care providers