Login / Signup
CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software.
Ipsita Koley
Soumyajit Dey
Debdeep Mukhopadhyay
Sachin Kumar Singh
Lavanya Lokesh
Shantaram Vishwanath Ghotgalkar
Published in:
ACM Trans. Cyber Phys. Syst. (2023)
Keyphrases
</>
safety critical
safety analysis
formal methods
support systems
nuclear power plant
fault tolerant
embedded systems
software intensive systems
agent architecture
information systems
software engineering
source code