Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Application exploration of B method in the development of safety-critical control systems


    Contributors:
    Ning, Liu (author) / Keming, Wang (author) / Xili, Hou (author) / Xia, Wang (author) / Peng, Cheng (author)


    Publication date :

    2020



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Classification :

    RVK:    ZO 2000
    BKL:    55.85 Schienenverkehr / 55.34 Bahnbetriebstechnik



    Rapid design exploration for safety critical distributed automotive systems

    Schiele,P. / Demmeler,T. / Fourgeau,E. et al. | Automotive engineering | 2002


    Safety Critical Software Development for Advanced Full Authority Control Systems

    Tortarolo, F. / Crosetti, G. / Difilippo, C. et al. | British Library Conference Proceedings | 1996



    Safety critical systems control in autonomous vehicles

    DAVID J BERELS | European Patent Office | 2018

    Free access

    Application development of safety critical distributed embedded systems with model verification

    Schanne,M. / Judt,A. / Forschungszentrum Informatik,FZI,DE | Automotive engineering | 2006