![]() | Up a level |
Burlet-Vienney, D., Jocelyn, S., Chinniah, Y. A., Daigle, R., & Massé, S. (2010). Vérification du contenu d'un programme de cadenassage. [Verifying the content of lockout programs]. (Technical Report n° RF-617). External link
Burlet-Vienney, D., Jocelyn, S., Chinniah, Y. A., Daigle, R., & Massé, S. (2010). Verifying the content of lockout programs. [Vérification du contenu d'un programme de cadenassage]. (Technical Report n° RF-635). External link