Knowledge Tree

thesis

Vérification automatique des programmes écrits dans les langages de la norme IEC 61131-3

Defense date:

Jan. 1, 2001

Edit

Institution:

Cachan, Ecole normale supérieure

Disciplines:

Computer sciences

Authors:

Géraud Canet

Directors:

Antoine Petit

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.