共 28 条
- [2] UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC) [J]. IEEE ACCESS, 2018, 6 : 76198 - 76216
- [3] Event-Driven Process Chain for Modeling and Verification of Business Requirements-A Systematic Literature Review [J]. IEEE ACCESS, 2018, 6 : 9027 - 9048
- [4] Andrea I, 2015, 2015 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), P180, DOI 10.1109/ISCC.2015.7405513
- [5] Andy S, 2017, 2017 4TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTER SCIENCE AND INFORMATICS (EECSI), P571
- [6] Anwar M. W., 2019, 13 C COMPL INT SOFTW 13 C COMPL INT SOFTW, V993, P368
- [7] A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification [J]. IEEE ACCESS, 2020, 8 : 104407 - 104431
- [10] Threat-based Security Analysis for the Internet of Things [J]. 2014 INTERNATIONAL WORKSHOP ON SECURE INTERNET OF THINGS (SIOT), 2014, : 35 - 43