Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modeling and verification of de-icing software safety requirement based on expanded Petri net


    Contributors:
    Zhen, L. (author) / Bin, L. (author) / Minyan, L. (author) / Yongfeng, Y. (author)


    Publication date :

    2012-01-01


    Size :

    5 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown


    Classification :

    DDC:    629.4



    Modeling and verification of software safety requirement based on ontology

    Zhen, L. / Bin, L. / Hong, M. et al. | British Library Online Contents | 2012



    Verification and Validation of NASA LEWICE 2.2 Icing Software Code

    Chaouki Ghenai / Cheng Xian Lin | AIAA | 2006


    Smart Icing Systems for Aircraft Icing Safety

    Melody, James W. / Bragg, Michael B. / Selig, Michael S. et al. | SAE | 2003


    Smart icing systems for aircraft icing safety

    Bragg, M. / Basar, T. / Perkins, W. et al. | AIAA | 2002