Specifying and Detecting Temporal Patterns with Shape Expressions

    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