Le Catalogue Marocain des Thèses En Cours
→
Université Mohammed V - Rabat
→
CEDoc - Sciences des Technologies de l’Information et de l’Ingénieur
→
Voir la Thèse

Modélisation formelle pour l'automatisation des tests des applications temps réel_APP : Carte à puce .

AGOUTI JIHANE

URI: http://thesencours.imist.ma/handle/123456789/41109

Date: 2015

Discipline: Informatique

Centre d'Etudes Doctorales (CED): Sciences et technologies de l'information et de l'ingénieur

Encadrant: BERBIA Hassan

Equipe/Laboratoire: AL JAZARI - Systèmes embarqués

Fichiers dans ce document

Fichiers	Taille	Format	Voir
Il n'ya pas de fichiers associés à cette thèse.

Cette thèse figure dans la collection suivante

CEDoc - Sciences des Technologies de l’Information et de l’Ingénieur [562]

Recherche

Recherche Avancée

Parcourir

Tout le catalogue
Cette Collection

Mon compte