Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Le travail De cette thèse s’inscrit dans le cadre des activités de recherche du Laboratoire d’automatique de l’université de Sétif (L.A.S). Il traite de la spécification et de la vérification des systèmes de production "entreprises" en général[...]
Exemplaires (1)
|
E-TH/0445 | Thèse | Bibliothèque centrale | Disponible |
Le Travail de cette thèse s’inscrit dans le cadre des activités de
recherche du Laboratoire d’Automatique de l’Université de Sétif (L.A.S). Il traite de la spécification et de la vérification des systèmes de production "entreprises" en généra[...]
Exemplaires (1)
|
TS4/7960 | Thèse | Bibliothèque centrale | Disponible |
Accueil