Specifying and Detecting Temporal Patterns with Shape Expressions

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

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

OriginalspracheEnglisch
Seiten (von - bis)565-577
Seitenumfang13
FachzeitschriftInternational Journal on Software Tools for Technology Transfer
Volume23
Issue4
DOIs
PublikationsstatusVeröffentlicht - 2021

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren