No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Hard and Soft Verifications


    Contributors:

    Conference:

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


    Publication date :

    2012-08-06


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    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