Skip to main navigation Skip to search Skip to main content

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
    Pages292-309
    Number of pages18
    Publication statusPublished - 2019
    EventInternational conference on Runtime Verification (RV) -
    Duration: 8 Oct 201911 Oct 2019

    Conference

    ConferenceInternational conference on Runtime Verification (RV)
    Period8/10/1911/10/19

    Research Field

    • Dependable Systems Engineering

    Cite this