Specifying and Detecting Temporal Patterns with Shape Expressions

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)565-577
Number of pages13
JournalInternational Journal on Software Tools for Technology Transfer
Volume23
Issue number4
DOIs
Publication statusPublished - 2021

Research Field

  • Dependable Systems Engineering

Cite this