Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification


    Beteiligte:
    Bartholomew, Redge (Autor:in) / Burns, Luanne (Autor:in) / Daly, Tim (Autor:in) / Linger, Richard (Autor:in) / Prowell, Stacy (Autor:in)

    Kongress:

    AIAA Infotech@Aerospace 2007 Conference and Exhibit



    Erscheinungsdatum :

    2007-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification AIAA Paper

    Bartholomew, R. / Burns, L. / Daly, T. et al. | British Library Conference Proceedings | 2007


    AACE: Automated Assurance Case Environment for Aerospace Certification

    Daw, Zamira / Oh, Chanwook / Low, Matthew et al. | IEEE | 2023