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
Document Type
Population
Medical Condition