共 50 条
- [41] Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling 2022 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/CBDCOM/CYBERSCITECH), 2022, : 242 - 249
- [44] Thermal field analysis for cable room of high-voltage switchgear and design of online monitoring system Xiong, L., 1600, Electric Power Automation Equipment Press (34): : 153 - 157
- [46] Parametric Analysis and Simplified Calculations of Fault Current Split for Wind Power Plant Grounding System Safety Design 2014 IEEE PES T&D CONFERENCE AND EXPOSITION, 2014,
- [50] Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2024, 40 (04): : 509 - 523