Thèse soutenue

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

Mots clés contrôlés