Dépôt institutionnel de l'universite Freres Mentouri Constantine 1
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
- Accueil de DSpace
- →
- Thèses et Mémoires
- →
- Faculté des Sciences de la technologie
- →
- Informatique
- →
- Doctorat Informatique
- →
- Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Belala Nabil | |
| dc.contributor.author | Saidouni Djamel-Eddine | |
| dc.date.accessioned | 2022-05-24T10:44:07Z | |
| dc.date.available | 2022-05-24T10:44:07Z | |
| dc.date.issued | 2017-01-01 | |
| dc.identifier.uri | http://depot.umc.edu.dz/handle/123456789/6819 | |
| dc.description | 115 f. | |
| dc.language.iso | fre | |
| dc.subject | Informatique | |
| dc.title | Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel | |
| dc.coverage | 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD |
