Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Checking Compliance of AADL Models with Modeling Guidelines using Resolint


    Contributors:

    Conference:

    2023 AeroTech



    Publication date :

    2023-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    AADL and Aerospace

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


    SW Architectural Modeling and Assurance with AADL

    Munoz Fernandez, Michela / Cheng, Shang-Wen / Evensen, Kenneth et al. | NTRS | 2012


    AADL Behavioural Annex

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