Credible Autocoding and Verification of Embedded Software (CrAVES)

Submitted by Eric Feron on
  • CPS Domains
  • Defense
  • Aerospace
  • CPS Technologies
  • Embedded Software
  • Foundations
  • Control
  • Validation and Verification
  • Academia