Dépôt institutionnel de l'universite Freres Mentouri Constantine 1
Détermination des automates temporisés avec durées d'actions pour le test formel
- Accueil de DSpace
- →
- Thèses et Mémoires
- →
- Faculté des Sciences de la technologie
- →
- Informatique
- →
- Magistère Informatique
- →
- Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Kitouni Ilhem | |
| dc.contributor.author | Saidouni Djamel-Eddine | |
| dc.date.accessioned | 2022-05-24T10:47:18Z | |
| dc.date.available | 2022-05-24T10:47:18Z | |
| dc.date.issued | 2017-01-01 | |
| dc.identifier.uri | http://depot.umc.edu.dz/handle/123456789/7025 | |
| dc.description | 84 f. | |
| dc.subject | Informatique | |
| dc.title | Détermination des automates temporisés avec durées d'actions pour le test formel | |
| dc.coverage | 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD |
