Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Proving Correctness of Autocoded Control Software


    Beteiligte:
    Alegre, Fernando (Autor:in) / Valenzuela, Rene (Autor:in) / Feron, Eric (Autor:in) / Pande, Santosh (Autor:in)

    Kongress:

    AIAA Modeling and Simulation Technologies Conference and Exhibit



    Erscheinungsdatum :

    01.01.2007




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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


    Automatically proving the correctness of vehicle coordination

    Mikael Asplund | DOAJ | 2018

    Freier Zugriff


    Timing Correctness in Safety-Related Automotive Software

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