For abstract, see N77-29826.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Lee, F. J. (Autor:in)

    Erscheinungsdatum :

    01.07.1977


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Proving Correctness of Autocoded Control Software

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


    Automatically proving the correctness of vehicle coordination

    Mikael Asplund | DOAJ | 2018

    Freier Zugriff

    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