Shape Expressions for Specifying and Extracting Signal Features

Dejan Nickovic (Speaker, Invited), Xin Qin (Author, Invited), Thomas Ferrère (Author, Invited), Cristinel Mateis (Author, Invited), Jyotirmoy V. Deshmukh (Author, Invited)

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

Original languageEnglish
Title of host publicationRuntime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings
Number of pages18
Publication statusPublished - 2019
EventInternational conference on Runtime Verification (RV) -
Duration: 8 Oct 201911 Oct 2019


ConferenceInternational conference on Runtime Verification (RV)

Research Field

  • Dependable Systems Engineering

Cite this