Model checking for verification of interactive health IT systems.

Principal Investigator
Document Type
Medical Condition