Medical CPS Featured Projects (Right)
Integrated Modeling, Analysis and Synthesis of Miniature Medical Devices
Pietro Valdastri (Vanderbilt University)
Safety-Oriented Hybrid Verification for Medical Robotics
Matthew Might (University of Utah)
Trustworthy Composition of Dynamic App-Centric Architectures for Medical Applications Platforms
John Hatcliff (KSU), Insup Lee (UPenn)
