Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Yli├Ęs Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, 38(3):223-262, 2011. [doi]

Abstract

Abstract is missing.