Runtime enforcement monitors: composition, synthesis, and enforcement abilities

2011128 citationsJournal Articlegreen Open Access

Authors

Peace, Justice and strong institutions

Published in: Formal Methods in System Design

Volume 38, Issue 3, pp. 223-262

Field-Weighted Citation Impact: 7.54