GEOTRUST SSL CERTIFICATE
| Titre : | traduction des automates temporisès vers reseaux de petri temporels |
| Auteurs : | belgacem amar, Auteur ; Adjir noureddine, Directeur de thèse ; samy yazid, Auteur |
| Type de document : | texte imprimé |
| Editeur : | [algerie]:alger univ-saida, 2009 |
| ISBN/ISSN/EAN : | TECT00387 |
| Format : | 86 p / figure,tableau / 29 cm |
| Note générale : | bibliographie |
| Langues: | Français |
| Catégories : | |
| Note de contenu : |
-introduction
-problemtique des systemes temps reel -formaliser les systemes temps reel -la traduction des TAS aux TPNS -presentation de notre application -conclusion |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
