No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    SW Architectural Modeling and Assurance with AADL



    Conference:

    Internal NASA Software Assurance Research Program TIM (Technical Interface Meeting) ; 2012 ; Pasadena, CA, United States


    Publication date :

    2012-08-21


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Using AADL to Assess Architectural Concerns for Cyber Security

    Boydston, Alex / Schwerdfeger, August / Lewis, Bruce et al. | SAE Technical Papers | 2023


    AADL and Aerospace

    S. Miller / P. Feiler / M. Hecht | NTIS | 2021


    AADL Behavioural Annex

    Dissaux, P. / Bodeveix, J. P. / Filali, M. et al. | British Library Conference Proceedings | 2006



    Checking Compliance of AADL Models with Modeling Guidelines using Resolint

    Amundson, Isaac | British Library Conference Proceedings | 2023