Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2000-01-01


    Size :

    4 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Avionics software support cost model

    Ferens, D.V. | Tema Archive | 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



    Avionics system effectiveness

    HARDIE, F. / OLSON, F. | AIAA | 1964