An Algebraic Framework for Runtime Verification

Dejan Nickovic, Stefan Jaksic, Ezio Bartocci, Radu Grosu

Publikation: Beitrag in Buch oder Tagungsband › Buchkapitel

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

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren