Vers une approche générique de modélisation et vérification formelles de partage de ressources et de gestion de conflits dans les systèmes à événement discrets.
| dc.contributor.author | IDEL MAHJOUB Yassine | |
| dc.date.accessioned | 2016-05-23T14:12:03Z | |
| dc.date.accessioned | 2025-05-20T09:44:07Z | |
| dc.date.accessioned | 2025-05-22T08:49:30Z | |
| dc.date.available | 2016-05-23T14:12:03Z | |
| dc.date.issued | 2016-05-23 | |
| dc.date.registred | 2010 | |
| dc.description.ced | Sciences de l'Ingénieur | en_US |
| dc.description.laboratory | Génie Electrique, Télécommunication et Techniques Industrielles | en_US |
| dc.identifier.uri | https://otrohati.imist.ma/handle/123456789/11754 | |
| dc.title | Vers une approche générique de modélisation et vérification formelles de partage de ressources et de gestion de conflits dans les systèmes à événement discrets. | en_US |