Model based security verification of Cyber-Physical System based on Petrinet: A case study of Nuclear power plant
| Autor: | Tripathi, Dipty, Singh, Lalit Kumar, Tripathi, Anil Kumar, Chaturvedi, Amrita |
|---|---|
| Zdroj: | In Annals of Nuclear Energy 1 September 2021 159 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect