Recent advances on formal methods for safety and security of cyber-physical systems

🤖This page has been translated by AI and may contain inaccuracies. Please refer to the original content for clarification.

Home>Articles>Recent advances on formal methods for safety and security of cyber-physical systems

Xiang Yin

Shaoyuan Li

Machine-generated Keywords：

Publication Date：2020-11-05

Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)

Pages：3( 459-461 )

ISSN：2095-6983

Year, Vol.(Issue)：2020,18(4)