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

Simple item page
dc.contributor.authorAGOUTI JIHANE
dc.contributor.teamAL JAZARI - Systèmes embarqués
dc.date.accessioned2016-07-13T14:43:55Z
dc.date.accessioned2025-05-21T14:03:39Z
dc.date.available2016-07-13T14:43:55Z
dc.date.issued2016-07-13
dc.date.registred2015
dc.description.cedSciences et technologies de l'information et de l'ingénieuren_US
dc.description.collaboratorBERBIA Hassan
dc.description.laboratoryInformatiqueen_US
dc.identifier.urihttps://otrohati.imist.ma/handle/123456789/41109
dc.titleModélisation formelle pour l'automatisation des tests des applications temps réel_APP : Carte à puce .en_US

Files

Collections

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