Skip to main navigation Skip to search Skip to main content

An Algebraic Framework for Runtime Verification

    • TU Wien

    Research output: Chapter in Book or Conference ProceedingsBook chapter

    Original languageEnglish
    Title of host publicationIEEE Transactions on CAD of Integrated Circuits and Systems
    Pages2233-2243
    Number of pages11
    Publication statusPublished - 2018

    Research Field

    • Dependable Systems Engineering

    Cite this