| Titre : | verification des systemes temps-reel par l'utilisation des reseaux de petri tomporels |
| Auteurs : | bendali abdellah, Auteur ; gherbi abdelkader, Auteur ; Adjir noureddine, Directeur de thèse |
| Type de document : | texte imprimé |
| Editeur : | algerie:alger univ-saida, 2009 |
| ISBN/ISSN/EAN : | TECT00399 |
| Format : | 112 p / figure,tableau / 29 cm |
| Note générale : | bibliograhie |
| Langues: | Français |
| Catégories : | |
| Note de contenu : |
-introduction -methodes formelles -systemes de transition -logiques temporelles -w-automate -traduction de formules ltl en automate de buchi -test de vide du tgba -ltl2tgba -conclusion |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TECT00399 | T.I.IN00157 | Périodique | Ouvrages | 27 | Libre accès Disponible |
