National Healthcare Quality and Disparities Report
Latest available findings on quality of and access to health care
Data
- Data Infographics
- Data Visualizations
- Data Tools
- Data Innovations
- All-Payer Claims Database
- Healthcare Cost and Utilization Project (HCUP)
- Medical Expenditure Panel Survey (MEPS)
- AHRQ Quality Indicator Tools for Data Analytics
- State Snapshots
- United States Health Information Knowledgebase (USHIK)
- Data Sources Available from AHRQ
Search All Research Studies
AHRQ Research Studies Date
AHRQ Research Studies
Sign up: AHRQ Research Studies Email updates
Research Studies is a compilation of published research articles funded by AHRQ or authored by AHRQ researchers.
Results
1 to 1 of 1 Research Studies DisplayedButler KA, Mercer E, Bahrami A
Model checking for verification of interactive health IT systems.
The authors proposed to formalize the relationship between HIT and the conceptual work that increasingly typifies modern care. They demonstrated the method on a patient contact system to show that model checking is effective for interactive systems and that much of it can be automated.
AHRQ-funded; HS021233.
Citation: Butler KA, Mercer E, Bahrami A .
Model checking for verification of interactive health IT systems.
AMIA Annu Symp Proc 2015;2015:349-58.
.
.
Keywords: Decision Making, Health Information Technology (HIT), Health Information Technology (HIT), Patient Safety, Workflow