Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Improving Avionics Software Verification Cost-Effectiveness Abstract-Interpretation-Based Technology Contribution



    Kongress:

    Conference, Data systems in aerospace; DASIA 2000 data systems in aerospace ; 2000 ; Montreal, Canada



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    4 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Avionics software support cost model

    Ferens, D.V. | Tema Archiv | 1983



    Towards Scalable Verification of Commercial Avionics Software

    Bhatt, D. / Madl, G. / Oglesby, D. et al. | British Library Conference Proceedings | 2010


    Towards Scalable Verification of Commercial Avionics Software

    Bhatt, Devesh / Madl, Gabor / Oglesby, David et al. | AIAA | 2010