共 50 条
- [37] Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking 2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, : 230 - 241
- [39] Model view checking: automated validation for IFC building models EWORK AND EBUSINESS IN ARCHITECTURE, ENGINEERING AND CONSTRUCTION 2014, 2015, : 123 - 128