For abstract, see N77-29826.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Proving the correctness of the flight director program EADIFD. Volume 2: Proofs of paths 1-29


    Contributors:
    Lee, F. J. (author)

    Publication date :

    1977-07-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English





    Proving Correctness of Autocoded Control Software

    Alegre, Fernando / Valenzuela, Rene / Feron, Eric et al. | AIAA | 2007



    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