Transformation-Based Approach to Security Verification for Cyber-Physical Systems

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02185311
Contributor : Nga Nguyen <>
Submitted on : Tuesday, July 16, 2019 - 3:22:19 PM
Last modification on : Wednesday, August 14, 2019 - 1:20:38 AM

Identifiers

Collections

Citation

Saoussen Mili, Nga Nguyen, Rachid Chelouah. Transformation-Based Approach to Security Verification for Cyber-Physical Systems. IEEE Systems Journal, IEEE, 2019, pp.1-12. ⟨10.1109/JSYST.2019.2923818⟩. ⟨hal-02185311⟩

Share

Metrics

Record views

76