Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:
    Bartholomew, R. (author) / Burns, L. (author) / Daly, T. (author) / Linger, R. (author) / Prowell, S. (author)

    Conference:

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



    Publication date :

    2007-01-01


    Size :

    923 pages


    Remarks:

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


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English






    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