GEOTRUST SSL CERTIFICATE
| Titre : | compilation des specifications rt-lotos en reseaux de petri temporels ètendus |
| Auteurs : | ouahab nafissa, Auteur ; Adjir noureddine, Directeur de thèse |
| Type de document : | texte imprimé |
| Editeur : | [algerie]:alger univ-saida, 2009 |
| Format : | 79 p / figure .tableau / 29 cm |
| Note générale : | bibliographie |
| Langues: | Français |
| Catégories : | |
| Note de contenu : |
-introduction
-modeles formels -rt-lotos -reseaux de petri temporels etendus -rtlotos 2 s w tina -conclusion |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
