Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Proving Correctness of Autocoded Control Software


    Contributors:

    Conference:

    AIAA Modeling and Simulation Technologies Conference and Exhibit



    Publication date :

    2007-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Proving Correctness of Autocoded Control Software AIAA Paper

    Alegre, F. / Valenzuela, R. / Feron, E. et al. | British Library Conference Proceedings | 2007


    Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software

    Bhaumik, Ankita / Dutta, Airin / Kopsaftopoulos, Fotis et al. | IEEE | 2021




    Timing Correctness in Safety-Related Automotive Software

    Griessing, Alexander / Emberson, Paul / Zalman, Rafael | SAE Technical Papers | 2011