Contributions à la specification et vérification des systèmes distribués .

dc.contributor.authorKHARRAZ KARAM YOUNES
dc.contributor.teamTraitement de l'Information et e-Stratégie
dc.date.accessioned2016-07-13T14:44:20Z
dc.date.accessioned2025-05-21T14:03:55Z
dc.date.available2016-07-13T14:44:20Z
dc.date.issued2016-07-13
dc.date.registred2014
dc.description.cedSciences et technologies de l'information et de l'ingénieuren_US
dc.description.collaboratorERRADI Mohammed
dc.description.laboratoryInformatiqueen_US
dc.identifier.urihttps://otrohati.imist.ma/handle/123456789/41443
dc.titleContributions à la specification et vérification des systèmes distribués .en_US

Files