共 259 条
[1]
Abdallah R, 2017, 2017 2ND INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY (ICSRS), P202, DOI 10.1109/ICSRS.2017.8272821
[2]
Event Tree Reliability Analysis of Safety Critical Systems Using Theorem Proving
[J].
IEEE SYSTEMS JOURNAL,
2022, 16 (02)
:2899-2910
[3]
Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking
[J].
2021 IEEE INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS),
2021,
:340-343
[7]
Amarasingam Narmilan, 2022, Remote Sensing Applications: Society and Environment, DOI 10.1016/j.rsase.2022.100712
[9]
Amari SV., 2011, INT J PERFORM ENG, V7, P604