Validation formelle de programmes Ladder Diagram pour automates programmables industriels
FR |
EN
Auteur / Autrice : | Olivier Jacques Paul Rossi |
Direction : | Jean-Jacques Lesage |
Type : | Thèse de doctorat |
Discipline(s) : | Électronique. Automatique |
Date : | Soutenance en 2003 |
Etablissement(s) : | Cachan, Ecole normale supérieure |
Mots clés
FR