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é

analyse des reseaux de petri pour la generation de cas de test

mahmoudi mahmoude amine, Auteur ; Adjir noureddine, Directeur de thèse ; latreche mohamed, Auteur | [algerie]:alger univ-saida | 2008

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

texte imprimé

analyse des reseaux de petri pour gènèration de cas de test

geundouzi hicham, Auteur ; Adjir noureddine, Directeur de thèse ; Khadir tayeb, Auteur | [algerie]:alger univ-saida | 2009

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

texte imprimé

compilation des specifications RT-LOTOS en reseaux de petri temporels

fezza sid ahmed, Auteur ; Adjir noureddine, Directeur de thèse ; kouidri siham, Auteur | [algerie]:alger univ-saida | 2007

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

texte imprimé

compilation des specifications rt-lotos en reseaux de petri temporels ètendus

ouahab nafissa, Auteur ; Adjir noureddine, Directeur de thèse | [algerie]:alger univ-saida | 2009

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

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é

traduction des automates temporisès vers reseaux de petri temporels

belgacem amar, Auteur ; Adjir noureddine, Directeur de thèse ; samy yazid, Auteur | [algerie]:alger univ-saida | 2009

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

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.

Non prêtable

texte imprimé

Vers la verification des systemes temps reel par l'utilisation des reseaux de petri temporels

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

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.