Skip to main navigation Skip to search Skip to main content

Specifying and Detecting Temporal Patterns with Shape Expressions

    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