共 50 条
- [31] Run-Time Verification of Coboxes [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
- [32] Run-time adaptation in River [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2003, 21 (01): : 36 - 86
- [33] Run-time Resolution of Uncertainty [J]. 2011 19TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2011, : 355 - +
- [36] On run-time enforcement of policies [J]. ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 268 - +
- [39] On the effectiveness of run-time checks [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 151 - 164