Personensuche
X
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
1
AACE: Automated Assurance Case Environment for Aerospace Ce..:
, In:
?
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science ,
2
Computer-Aided Generation of Assurance Cases:
, In:
?
2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) ,
4
Flight Test of a Collision Avoidance Neural Network with Ru..:
, In:
?
2020 American Control Conference (ACC) ,
7
A Binary Decision Diagram Based Cascade Prognostics Scheme ..:
, In:
?
?
Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids ,
12
A Systematic Approach of Identifying Optimal Load Control A..:
, In:
?
Proceedings of the 8th International Conference on Cyber-Physical Systems ,
13