Application of Temporal Logic for Construction of Threat Models for Intelligent Cyber-Physical Systems
| Autor: | Manas Kumar Yogi, A. S. N. Chakravarthy |
|---|---|
| Rok vydání: | 2022 |
| Zdroj: | Intelligent Cyber-Physical Systems Security for Industry 4.0 ISBN: 9781003241348 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|