GEOTRUST SSL CERTIFICATE
| Titre : | compilation des specifications RT-LOTOS en reseaux de petri temporels |
| Auteurs : | fezza sid ahmed, Auteur ; Adjir noureddine, Directeur de thèse ; kouidri siham, Auteur |
| Type de document : | texte imprimé |
| Editeur : | [algerie]:alger univ-saida, 2007 |
| Format : | 142 p / cov.ill / 29 cm |
| Note générale : | bibliographie |
| Langues: | Français |
| Catégories : | |
| Note de contenu : |
-introduction
-formalisation des systemes temps reel -validation des spècification RT-LOTOS -les reseaux de petri temporels -presentation de notre application -conclusion |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
