Application de la méthode Event-B aux developpement des systhèmes réactifs

Simple item page
dc.contributor.authorEDDAHMANI Said
dc.date.accessioned2016-07-15T07:59:29Z
dc.date.accessioned2025-05-21T14:13:22Z
dc.date.available2016-07-15T07:59:29Z
dc.date.issued2016-07-15
dc.date.registred2016
dc.description.cedSciences et Technologiesen_US
dc.description.collaboratorBouhdadi | Ph ROMADI
dc.description.laboratorySciences et Technologiesen_US
dc.identifier.urihttps://otrohati.imist.ma/handle/123456789/44963
dc.titleApplication de la méthode Event-B aux developpement des systhèmes réactifsen_US

Files

Collections

CEDoc - Sciences et Technologies