Quantitative monitoring of STL with edit distance

Stefan Jaksic (Vortragende:r, eingeladen), Ezio Bartocci (Autor:in, eingeladen), Radu Grosu (Autor:in, eingeladen), Dejan Nickovic (Autor:in, eingeladen)

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    OriginalspracheEnglisch
    TitelInternational Conference on Runtime Verification, RV2016
    Seiten201-218
    Seitenumfang18
    PublikationsstatusVeröffentlicht - 2016
    Veranstaltung2016 International Conference on Runtime Verification -
    Dauer: 23 Sept. 201630 Sept. 2016

    Konferenz

    Konferenz2016 International Conference on Runtime Verification
    Zeitraum23/09/1630/09/16

    Research Field

    • Nicht definiert

    Diese Publikation zitieren