Application de la méthode EVENT-B dans le domaine du transport

dc.contributor.authorEs.Sbai Sarra
dc.date.accessioned2016-07-15T08:00:15Z
dc.date.accessioned2025-05-21T14:13:43Z
dc.date.available2016-07-15T08:00:15Z
dc.date.issued2016-07-15
dc.date.registred2015
dc.description.cedSciences et Technologiesen_US
dc.description.collaboratorBouhdadi | Pr Rahal
dc.description.laboratorySciences et Technologiesen_US
dc.identifier.urihttps://otrohati.imist.ma/handle/123456789/45526
dc.titleApplication de la méthode EVENT-B dans le domaine du transporten_US

Files