Model Checking for Verification of Interactive Health IT Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Keith A. Butler' in GoogleThis author has not been identified. Look up 'Eric Mercer' in GoogleThis author has not been identified. Look up 'Ali Bahrami' in GoogleThis author has not been identified. Look up 'Cui Tao' in Google

runs on WebDSL