Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    AIAA Infotech@Aerospace 2007 Conference and Exhibit



    Publication date :

    2007-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    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