Credible autocoding and model-based control design and validation - Eric Feron

  • CPS Domains
  • Communication
  • Transportation
  • Avionics
  • CPS Technologies
  • Design Automation Tools
  • Systems Engineering
  • Foundations
  • Control
  • Modeling
  • Semantics
  • Simulation
  • Validation and Verification
  • Certification
  • 2013
  • National CPS PI Meeting 2013
  • Presentation
  • Academia
  • Session 3: CPS PI Talks
Submitted by Eric Feron on