texte imprimé

Analyse des LPRI/OTPN pour la gènèration des cas de test

hadaji fatima, Auteur ; Adjir noureddine, Directeur de thèse | algerie:alger univ-saida | 2010

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

Réserver

Disponible

texte imprimé

Graphes des marquages associes a un reseaux de petri

lahsene nacer nabil, Auteur ; laouer toussouf, Auteur ; Adjir noureddine, Directeur de thèse | univ saida- Dr.moulay tahar | 2009

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

Réserver

Disponible

texte imprimé

verification des systemes temps-reel par l'utilisation des reseaux de petri tomporels

bendali abdellah, Auteur ; gherbi abdelkader, Auteur ; Adjir noureddine, Directeur de thèse | algerie:alger univ-saida | 2009

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

Réserver

Disponible