Formal Dependability Analysis for Real-Time Medical Devices

  • University of Colorado at Boulder
  • CPS Domains
  • Modeling
  • Validation and Verification
  • Education
  • Foundations
  • National CPS PI Meeting 2011
  • Poster
  • Academia
  • Poster Session: Day 1
Submitted by Sriram Sankara… on Sat, 11/05/2011 - 09:36