Publication | Open Access
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
29
Citations
41
References
2020
Year
Security ModellingSurvivability PropertiesCyber Physical SystemsEngineeringSurvivable SystemInformation SecurityVerificationSurvivabilityFormal MethodsSystems EngineeringCps SecuritySystem SecurityFormal VerificationData SecuritySecurity Property
| Year | Citations | |
|---|---|---|
Page 1
Page 1