Language Agnostic Model Checking for SDL
Conference proceeding (October 2023)
Handbook of Research on Embedded Systems Design
IGI Global
The most recent citing publications are shown below. View all 32 publications that cite this research output on Dimensions.
A Framework for Cybersecurity Requirements Management in the Automotive Domain
Article in Sensors (May 2023)
A Survey and Perspective on Artificial Intelligence for Security-Aware Electronic Design Automation
Article in ACM Transactions on Design Automation of Electronic Systems (March 2023)