Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Erkkinen, Tom (Autor:in) / Hote, Chris (Autor:in)

    Kongress:

    AIAA Modeling and Simulation Technologies Conference and Exhibit



    Erscheinungsdatum :

    01.01.2006




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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. | Kraftfahrwesen | 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