Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification of Flag Usage Patterns by Static Analysis Techniques


    Contributors:

    Conference:

    SAE 2014 world congress and exhibition ; 2014 ; Detroit, MI



    Publication date :

    2014-01-01


    Size :

    180 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Verification of Flag Usage Patterns by Static Analysis Techniques

    Datar, Advaita / Zare, Amey / Kikuchi, Mitsuhiko et al. | SAE Technical Papers | 2014



    Extension of Static Verification Techniques by Semantic Analysis

    Hote, C. / American Institute of Aeronautics and Astronautics / IEEE | British Library Conference Proceedings | 2005


    Ebook usage patterns

    Chiang, Dudee | NTRS | 2017


    Courtesy flag

    OLDS KIM | European Patent Office | 2023

    Free access