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