Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Zhen, L. (Autor:in) / Bin, L. (Autor:in) / Minyan, L. (Autor:in) / Yongfeng, Y. (Autor:in)


    Erscheinungsdatum :

    01.01.2012


    Format / Umfang :

    5 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    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

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


    Smart Icing Systems for Aircraft Icing Safety

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