Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Guaranteeing functional safety: design for provability and computer-aided verification


    Contributors:
    Täubig, H. (author)

    Published in:

    AUTONOMOUS ROBOTS ; 32 , 3 ; 303-331


    Publication date :

    2012-01-01


    Size :

    29 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    003 / 629.892



    Multifunctional transportation device for guaranteeing computer safety

    LIU SHUMU / YANG JIAN | European Patent Office | 2024

    Free access

    Multifunctional transportation device for guaranteeing computer safety

    QI XINGBIN / ZHAO LI | European Patent Office | 2023

    Free access

    Guaranteeing motion safety for robots

    Fraichard, T. | British Library Online Contents | 2012


    Viaduct safety monitoring and guaranteeing device

    ZHOU QIANG / XIAO JIAQING / FU BAOTONG et al. | European Patent Office | 2020

    Free access

    Safety guaranteeing system of bifuel engine

    HAN XIAO / ZOU LANGPING / ZHU YANDONG et al. | European Patent Office | 2016

    Free access