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

Documents sur ce thème

Livres1 document

  • Embedded systems

    analysis and modeling with SysML, UML and AADL

    Description matérielle : 1 online resource (xxii, 292 pages)
    Description : Note : Includes bibliographical references and index
    Print version record.
    Édition : London : ISTE ; Hoboken, NJ : Wiley , 2013

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb446542687]

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