Communication Dans Un Congrès
Année : 2020
Flavio Oquendo : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03585041
Soumis le : mardi 22 février 2022-18:44:39
Dernière modification le : mardi 8 octobre 2024-18:15:28
Dates et versions
Identifiants
- HAL Id : hal-03585041 , version 1
- DOI : 10.1109/CCTA41146.2020.9206344
Citer
Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flavio Oquendo. Formal Verification of the Race Condition Vulnerability in Ladder Programs. 2020 IEEE Conference on Control Technology and Applications (CCTA), Aug 2020, Montreal, Canada. pp.892-897, ⟨10.1109/CCTA41146.2020.9206344⟩. ⟨hal-03585041⟩
Collections
35
Consultations
0
Téléchargements