Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers


    Contributors:
    Liu, Han (author) / Jiang, Yu (author) / Zhang, Huafeng (author) / Gu, Ming (author) / Sun, Jiaguang (author)

    Conference:

    Formal methods ; 2016 ; Limassol, Cyprus



    Publication date :

    2016-01-01


    Size :

    8 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    Unknown





    MULTIFUNCTION VEHICLE LAMP

    PAMPATTIWAR SANKALP / KUBAL YOGESH / PEREZ-BOLIVAR CESAR | European Patent Office | 2024

    Free access

    Multifunction vehicle system

    CHO SANG KI | European Patent Office | 2024

    Free access

    Multifunction vehicle lamp

    PAMPATTIWAR SANKALP / KUBAL YOGESH / PEREZ-BOLIVAR CESAR | European Patent Office | 2023

    Free access