| Titre : | Analyse des LPRI/OTPN pour la gènèration des cas de test |
| Auteurs : | hadaji fatima, Auteur ; Adjir noureddine, Directeur de thèse |
| Type de document : | texte imprimé |
| Editeur : | algerie:alger univ-saida, 2010 |
| ISBN/ISSN/EAN : | TECT00405 |
| Format : | 57 p / figure,tableau / 29 cm |
| Note générale : | bibliographie |
| Langues: | Français |
| Catégories : | |
| Note de contenu : |
-introduction -les reseaux de petri temporels etiquetes a entrèes sorties avec prioritès -test de conformitè des systemes temps reel base sur LPRL/OTPN -reprèsentation de notre application -conclusion |
Exemplaires (4)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TECT00405 | T.I.IN00163 | Périodique | Ouvrages | 27 | Libre accès Disponible |
| TECT00406 | T.I.IN00164 | Périodique | Ouvrages | 27 | Libre accès Disponible |
| TECT00407 | T.I.IN00165 | Périodique | Ouvrages | 27 | Libre accès Disponible |
| TECT00408 | T.I.IN00166 | Périodique | Ouvrages | 27 | Libre accès Disponible |
