Shape Expressions for Specifying and Extracting Signal Features

  • Dejan Nickovic (Vortragende:r, eingeladen)
  • , Xin Qin (Autor:in, eingeladen)
  • , Thomas Ferrère (Autor:in, eingeladen)
  • , Cristinel Mateis (Autor:in, eingeladen)
  • , Jyotirmoy V. Deshmukh (Autor:in, eingeladen)

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    OriginalspracheEnglisch
    TitelRuntime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings
    Seiten292-309
    Seitenumfang18
    PublikationsstatusVeröffentlicht - 2019
    VeranstaltungInternational conference on Runtime Verification (RV) -
    Dauer: 8 Okt. 201911 Okt. 2019

    Konferenz

    KonferenzInternational conference on Runtime Verification (RV)
    Zeitraum8/10/1911/10/19

    Research Field

    • Dependable Systems Engineering

    Diese Publikation zitieren