GEOTRUST SSL CERTIFICATE
| Titre : | Vers la verification des systemes temps reel par l'utilisation des reseaux de petri temporels |
| Auteurs : | bendali abdellah, Auteur ; Adjir noureddine, Directeur de thèse ; gherbi abdelkader, Auteur |
| Type de document : | texte imprimé |
| Editeur : | [algerie]:alger univ-saida, 2009 |
| Format : | 112 p / figure .tableau / 29 cm |
| Note générale : | bibliographie |
| Langues: | Français |
| Catégories : | |
| Note de contenu : |
-methodes formelles
-systeme de transition -logiques temporelles -w-automate -traduction de formules ltl en automate de buchi -test de vide tgba -LTL2GBA -conclusion |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
