共 50 条
- [36] Runtime Visualization and Verification in JIVE RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 493 - 497
- [37] Decentralized Stream Runtime Verification RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 185 - 201
- [40] Runtime Verification of Contracts with Themulus SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2020, 12310 : 231 - 246