Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Proving Correctness of Autocoded Control Software AIAA Paper


    Beteiligte:
    Alegre, F. (Autor:in) / Valenzuela, R. (Autor:in) / Feron, E. (Autor:in) / Pande, S. (Autor:in)

    Kongress:

    CONFERENCE, Modeling and simulation technologies ; 2007 ; Hilton Head, S.C



    Erscheinungsdatum :

    01.01.2007


    Format / Umfang :

    4879 pages


    Anmerkungen:

    HELD ON CD-ROM


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Proving Correctness of Autocoded Control Software

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


    Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software

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


    Automatically proving the correctness of vehicle coordination

    Mikael Asplund | DOAJ | 2018

    Freier Zugriff


    Certifying Controls and Systems Software AIAA Paper

    Feron, E. / Roozbehani, M. | British Library Conference Proceedings | 2007