Runtime enforcement monitors: composition, synthesis, and enforcement abilities
- 作者Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier
- 卷第38卷
- 期第3期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小1711.23KB
- 发表时间2011-06
- DOI10.1007/s10703-011-0114-4
- 页码223-262