Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

An Algebraic Framework for Runtime Verification

    • TU Wien

    Publikation: Beitrag in Buch oder TagungsbandBuchkapitel

    OriginalspracheEnglisch
    TitelIEEE Transactions on CAD of Integrated Circuits and Systems
    Seiten2233-2243
    Seitenumfang11
    PublikationsstatusVeröffentlicht - 2018

    Research Field

    • Dependable Systems Engineering

    Diese Publikation zitieren