Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems

Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher Kuhn, Gabor Karsai, Ayan Mukhopadhyay
May 2023
PDF Cite
Type
Conference paper
Publication
In ACM/IEEE 14th International Conference on Cyber-Physical Systems (ICCPS 2023)
Shreyas Ramakrishna
Shreyas Ramakrishna
Senior Architect, System Safety Engineer

Related