Compositional, Approximate, and Quantitative Reasoning for Medical CPS

  • medical CPS
  • model checking
  • Implantable Cardiac Defibrillators (ICDs)
  • High-Performance Numerical Simulation
  • 1446832
  • 2018
  • CPS-PI Meeting 2018
  • Presentation
  • Session 12: LT
Submitted by Scott Smolka on