Designing Secure and Resilient Cyber-Physical Systems Using Formal Models

Autor:	Robert S. Lois, Daniel G. Cole
Rok vydání:	2022
Zdroj:	2022 Resilience Week (RWS).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::faf0c0bec862274becbab54296175f9a https://doi.org/10.1109/rws55399.2022.9984044 Zobrazit plný text záznamu