Model Checking for Verification of Interactive Health IT Systems.

Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao

Browse the full AMIA paper archive.