Sign in
Validate, simulate, and implement ARINC653 systems using the AADL.
Julien Delange
Laurent Pautet
Alain Plantec
Mickaël Kerboeuf
Frank Singhoff
Fabrice 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