Combining the Temporal and Epistemic Dimensions for MTL Monitoring

Eugene Asarin, Oded Maler, Dejan Nickovic (Vortragende:r), Dogan Ulus

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    OriginalspracheEnglisch
    TitelFormal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    Seiten207-223
    Seitenumfang17
    PublikationsstatusVeröffentlicht - 2017
    VeranstaltungFORMATS 2017 -
    Dauer: 5 Sept. 20177 Sept. 2017

    Konferenz

    KonferenzFORMATS 2017
    Zeitraum5/09/177/09/17

    Research Field

    • Nicht definiert

    Diese Publikation zitieren