Article Dans Une Revue
IEEE Systems Journal
Année : 2019
Nga Nguyen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02185311
Soumis le : mardi 16 juillet 2019-15:22:19
Dernière modification le : vendredi 24 mars 2023-14:53:11
Citer
Saoussen Mili, Nga Thi Viet Nguyen, Rachid Chelouah. Transformation-Based Approach to Security Verification for Cyber-Physical Systems. IEEE Systems Journal, 2019, pp.1-12. ⟨10.1109/JSYST.2019.2923818⟩. ⟨hal-02185311⟩
Collections
60
Consultations
0
Téléchargements