共 50 条
[32]
A Multi-layered Collaborative Framework for Evidence-driven Data Requirements Engineering for Machine Learning-based Safety-critical Systems
[J].
38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023,
2023,
:1404-1413
[35]
Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems
[J].
PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT,
2018,
:632-641
[36]
Safety-Critical Control With Limited Information
[J].
IEEE CONTROL SYSTEMS LETTERS,
2024, 8
:2379-2384
[37]
Statistical model checking for rare-event in safety-critical system
[J].
Ruan Jian Xue Bao/Journal of Software,
2015, 26 (02)
:305-320
[38]
Can safety-critical software be flexible?
[J].
PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION,
2003,
:588-593
[39]
Security Control of Safety-Critical Systems
[J].
IEEE TRANSACTIONS ON CYBERNETICS,
2025, 55 (05)
:2474-2485