Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Bartholomew, R. (Autor:in) / Burns, L. (Autor:in) / Daly, T. (Autor:in) / Linger, R. (Autor:in) / Prowell, S. (Autor:in)

    Kongress:

    CONFERENCE, AIAA infotech@Aerospace ; 2007 ; Rohnert Park, CA



    Erscheinungsdatum :

    2007-01-01


    Format / Umfang :

    923 pages


    Anmerkungen:

    Held on CD-ROM. Papers no. 2007 2700 to 3010 with gaps


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :




    Embedded Reasoning Supporting Aerospace IVHM AIAA Paper

    Schoeller, M. / Roemer, M. / Leonard, M. et al. | British Library Conference Proceedings | 2007


    Integrating VR into Aerospace Simulation AIAA Paper

    Panfilov, P. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2007


    AACE: Automated Assurance Case Environment for Aerospace Certification

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