SIGN IN
SIGN UP
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview
Full Text:
PDF
Buy this Article
Authors:
George S. Avrunin
University of Massachusetts, Amherst, MA, USA
Lori A. Clarke
University of Massachusetts, Amherst, MA, USA
Leon J. Osterweil
University of Massachusetts, Amherst, MA, USA
Stefan C. Christov
University of Massachusetts, Amherst, MA, USA
Bin Chen
University of Massachusetts, Amherst, MA, USA
Elizabeth A. Henneman
University of Massachusetts, Amherst, MA, USA
Philip L. Henneman
Tufts-Baystate Medical Center, Springfield, MA, USA
Lucinda Cassells
Baystate Medical Center/Tufts University School of Medicine, Springfield, MA, USA
Wilson Mertens
Baystate Medical Center/Tufts University School of Medicine, Springfield, MA, USA
2010 Article
Bibliometrics
· Downloads (6 Weeks): 7
· Downloads (12 Months): 29
· Downloads (cumulative): 72
· Citation Count: 0
Published in:
· Proceeding
IHI '10
Proceedings of the 1st ACM International Health Informatics Symposium
Pages 316-325
ACM
New York, NY
, USA
©2010
table of contents
ISBN: 978-1-4503-0030-8
doi>
10.1145/1882992.1883037
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
continuous medical process improvement
finite-state verification
health
model checking
model checking
process definition and analysis
property specifications
reliability
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder