Runtime enforcement monitors: Composition, synthesis, and enforcement abilities

From MaRDI portal
Publication:548696

DOI10.1007/s10703-011-0114-4zbMath1219.68089OpenAlexW2028720147MaRDI QIDQ548696

Yliès Falcone, Jean-Claude Fernandez, Jean-Luc Richier, Laurent Mounier

Publication date: 30 June 2011

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-011-0114-4




Related Items (12)


Uses Software


Cites Work


This page was built for publication: Runtime enforcement monitors: Composition, synthesis, and enforcement abilities