Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Pan-American Congress of Engineers Formally Established



    Publication date :

    1965-12-01


    Size :

    223152 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS

    DUBRULLE PAUL | European Patent Office | 2022

    Free access

    Formally verifiable features in embedded vehicular security systems

    Lee, Gyesik / Oguma, Hisashi / Yoshioka, Akira et al. | IEEE | 2009



    Interpretable Policies from Formally-Specified Temporal Properties

    DeCastro, Jonathan / Leung, Karen / Arechiga, Nikos et al. | IEEE | 2020