Spécification et vérification formelles des systèmes mécatroniques selon le modèle de référence des systèmes répartis ouverts RM-ODP

Simple item page
dc.contributor.authorBalouki, Abdessamad
dc.date.accessioned2016-06-26T16:46:36Z
dc.date.accessioned2025-05-21T15:43:36Z
dc.date.available2016-06-26T16:46:36Z
dc.date.issued2016-06-26
dc.date.registred2015-11-30
dc.description.cedFaculté des Sciences et Techniques, Béni Mellalen_US
dc.description.collaboratorFakir, Mohamed
dc.description.laboratoryMathematiques et Physiques Appliquéesen_US
dc.identifier.urihttps://otrohati.imist.ma/handle/123456789/29340
dc.language.isofren_US
dc.titleSpécification et vérification formelles des systèmes mécatroniques selon le modèle de référence des systèmes répartis ouverts RM-ODPen_US

Files

Collections

CEDoc en Sciences et Techniques et Sciences Médicales (CED - STSM)