Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Proving Correctness of Autocoded Control Software AIAA Paper


    Contributors:
    Alegre, F. (author) / Valenzuela, R. (author) / Feron, E. (author) / Pande, S. (author)

    Conference:

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



    Publication date :

    2007-01-01


    Size :

    4879 pages


    Remarks:

    HELD ON CD-ROM


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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




    Certifying Controls and Systems Software AIAA Paper

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