AADL (informatique)

Thème :AADL (informatique)
Origine :RAMEAU - Notice originale
Domaines :Technique
Autres formes du thème :Architecture Analysis and Design Language
Avionics Architecture Description Language

Thèmes liés

Termes plus larges (2)

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • AADL predictable model-based engineering (2013-04-09)
    Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées / M. Y. Chkouri, 2010 [thèse]
    2013-04-09
    Model-based engineering with AADL / P. H. Feiler, D. P. Gluch, 2012

Autres formes du thème

  • Architecture Analysis and Design Language
  • Avionics Architecture Description Language