Login / Signup

Towards a Correct-by-Construction Design of Integrated Modular Avionics.

Baoluo MengJoyanta DebnathSarat Chandra VaranasiEmmanuel ManoloiosMichael DurlingSaswata PaulDaniel PrinceSaif AlsabbaghRichard HaadsmaCraig McMillanChi ZhangTim Oates
Published in: FMCAD (2023)
Keyphrases
  • design process
  • search algorithm
  • metadata
  • engineering design
  • optimal design
  • real time
  • databases
  • information systems
  • decision making
  • image processing
  • user interface
  • software development
  • design principles