Session IV: Model-Based Design, Verification and Validation - Breakout Session III: Formal Methods

  • challenges
  • formal method
  • model-based design
  • research solutions
  • Transportation
  • CPS Domains
  • Transportation
  • Automotive
  • CPS Technologies
  • Foundations
  • Validation and Verification
  • 2014
  • 2014 National Workshop on Transportation CPS
  • Academia
  • Industry
  • Breakout Session 3
  • Breakout Session 3
Submitted by Thomas Fuhrman on Wed, 01/29/2014 - 15:42