Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
  • Home
  • Code of Conduct
  • Program Agenda
  • Mini-Workshops
  • Lightning Talks
  • Poster Session
  • Demonstrations
  • Attendees
  • Registrants
  • Files
CPS-VO » NSF CPS PI Meetings » 2019 NSF Cyber-Physical Systems Principal Investigators' Meeting

Visible to the public Invariant Extraction from Virtual Heart Models

  • View
  • Properties
Submitted by Mikael Lindvall on Thu, 01/09/2020 - 6:02pm. Contributors:
  • Mikael Lindvall
  • Adam Porter
  • S. Huang
  • Madeline Diep
  • Rance Cleaveland
License: 
Creative Commons 2.5

Other available formats:

Invariant Extraction from Virtual Heart Models
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 607.37 KB
  • 18 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • invariant extraction
  • system comprehension
  • in silico models
  • Posters
  • 1446583
  • CPS PI Meeting 2019
  • 2019
  • NSF
  • U.S. Government
  • Poster

Terms of Use  |  ©2023. CPS-VO