Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling and verification of software safety requirement based on ontology


    Beteiligte:
    Zhen, L. (Autor:in) / Bin, L. (Autor:in) / Hong, M. (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 de-icing software safety requirement based on expanded Petri net

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


    Application of software requirement error pattern based on ontology

    Xuan, H. / Bin, L. / Yichen, W. et al. | British Library Online Contents | 2009


    Automation of satellite requirement verification

    Cater, S.J. / Ahn, D.B. / Quigley, D. | IEEE | 2006


    Ontology-based CNS software development

    Gringinger, Eduard / Eier, Dieter / Merkl, Dieter | IEEE | 2010


    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society | British Library Conference Proceedings | 2000