Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatic Flight Code Generation with Integrated Static Run-Time Error Checking and Code Analysis


    Contributors:
    Erkkinen, Tom (author) / Hote, Chris (author)

    Conference:

    AIAA Modeling and Simulation Technologies Conference and Exhibit



    Publication date :

    2006-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Analysis of real-time code by model checking

    Guaspari, D. / Naydich, D. | IEEE | 2000


    Analysis of Real-Time Code by Model Checking

    Guaspari, D. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Caterpillar automatic code generation

    Thate,J.M. / Kendrick,l.E. / Nadarajah,S. et al. | Automotive engineering | 2004


    Caterpillar Automatic Code Generation

    Thate, J. M. / Kendrick, L. E. / Nadarajah, S. et al. | British Library Conference Proceedings | 2004


    Caterpillar Automatic Code Generation

    Thate, Jeffrey M. / Kendrick, Larry E. / Nadarajah, Siva | SAE Technical Papers | 2004