Modélisation et vérification des propriétés de systèmes complexes : Application aux processus d'entreprise
FR
Auteur / Autrice : | Bernard Kamsu-Foguem |
Direction : | François Prunet |
Type : | Thèse de doctorat |
Discipline(s) : | Automatique, traitement du signal et génie informatique |
Date : | Soutenance en 2004 |
Etablissement(s) : | Montpellier 2 |
Mots clés
FR