Ipsita Koley, Soumyajit Dey, Debdeep Mukhopadhyay, Sachin Kumar Singh, Lavanya Lokesh, Shantaram Vishwanath Ghotgalkar. CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software. TCPS, 7(1), January 2023. [doi]
Abstract is missing.