AHRQ Health IT Projects Publication Database

This database serves as a central repository for publications resulting from AHRQ Health IT funded work that is PubMed or Google Scholar indexed, including: book chapters, journal articles, conference proceedings, and reports from funded contracts.

 

Displaying 1 - 1 of 1

Model checking for verification of interactive health IT systems.

Citation: 
Butler KA, Mercer E, Bahrami A, et al. Model checking for verification of interactive health IT systems. AMIA Annu Symp Proc 2015;2015:349–58. PMID: 26958166.
Principal Investigator: 
Butler, Keith
Project Name: 
Modeling and Analysis of Clinical Care for Health Information Technology Improvement