共 50 条
- [42] Hazard Analysis of Real-time Safety Critical Systems using Hierarchical Communication Real-Time State Machines Formal Model 2017 12TH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND SYSTEMS (ICCES), 2017, : 628 - 634
- [43] Behavior-Based Method for Real-Time Identification of Encrypted Proxy Traffic 2021 13TH INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS (ICCSN 2021), 2021, : 289 - 295