Login / Signup

Validate, simulate, and implement ARINC653 systems using the AADL.

Julien DelangeLaurent PautetAlain PlantecMickaël KerboeufFrank SinghoffFabrice Kordon
Published in: SIGAda (2009)
Keyphrases
  • expert systems
  • management system
  • computer systems
  • retrieval systems
  • neural network
  • machine learning
  • information retrieval
  • three dimensional
  • open source
  • complex systems