Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Pan-American Congress of Engineers Formally Established



    Erscheinungsdatum :

    1965-12-01


    Format / Umfang :

    223152 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS

    DUBRULLE PAUL | Europäisches Patentamt | 2022

    Freier Zugriff

    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