Génération automatique de test pour les contrôleurs logiques programmables synchrones / Mouna Tka ; sous la direction de Ioannis Parissis

Date :

Editeur / Publisher : , 2016

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Réseaux logiques programmables par l'utilisateur -- Thèses et écrits académiques

Programmation logique -- Thèses et écrits académiques

Programmation par contraintes -- Thèses et écrits académiques

Classification Dewey : 004

Parissis, Ioannis (Directeur de thèse / thesis advisor)

Bousquet, Lydie du (Président du jury de soutenance / praeses)

Le Traon, Yves (1968-.... ; informaticien) (Rapporteur de la thèse / thesis reporter)

Wiels, Virginie (Rapporteur de la thèse / thesis reporter)

Deleuze, Christophe (Membre du jury / opponent)

Zaninotti, Serge (Membre du jury / opponent)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire de conception et d'intégration des systèmes (Valence) (Laboratoire associé à la thèse / thesis associated laboratory)