Model Checking for Verification of Interactive Health IT Systems

Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao. Model Checking for Verification of Interactive Health IT Systems. In AMIA 2015, American Medical Informatics Association Annual Symposium, San Francisco, CA, USA, November 14-18, 2015. AMIA, 2015. [doi]