No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Hard and Soft Verifications


    Beteiligte:

    Kongress:

    30th International System Safety Conference ; 2012 ; Atlanta, GA, United States


    Erscheinungsdatum :

    06.08.2012


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Hard and Soft Safety Verifications

    J. Wetherholt / B. Anderson | NTIS | 2012


    Hard and Soft Safety Verifications

    Wetherholt, Jon / Anderson, Brenda | NTRS | 2012


    Modelisation et verifications comportementales. Behavioural modelling and verifications

    Cicchetti, R. / Poncelet, P. / Teisseire, M. et al. | British Library Conference Proceedings | 1997