Recent advances on formal methods for safety and security of cyber-physical systems
Xiang Yin, Shaoyuan Li
Topics & Concepts
Computational intelligenceCyber-physical systemComputer scienceComputer securityRisk analysis (engineering)Artificial intelligenceBusinessOperating systemSmart Grid Security and ResilienceFormal Methods in VerificationSafety Systems Engineering in Autonomy