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: 
Medical Condition: