Formal Verification of the Race Condition Vulnerability in Ladder Programs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020
Fichier non déposé

Dates et versions

hal-03585041 , version 1 (22-02-2022)

Identifiants

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⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

More