Model checking sur les grafcets via une traduction en réseaux de Petri temporels / par Rodrigue YEHOUESSI
Material type: TextLanguage: French Publication details: Abomey-Calavi : Ecole Polytechnique d’Abomey - Calavi ; 2016Description: i-107 p. Couv. Ill. en Coul. ; 30 cmSubject(s):Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Thèse et Memoire | Bibliothèque Ecole Polytechnique d'Abomey-Calavi | Bibliothèque Ecole Polytechnique d'Abomey-Calavi | 36.GIT/YEH (Browse shelf(Opens below)) | 1 | Available | M26951EPAC | ||
Thèse et Memoire | Bibliothèque Ecole Polytechnique d'Abomey-Calavi | Bibliothèque Ecole Polytechnique d'Abomey-Calavi | 36.GIT/YEH (Browse shelf(Opens below)) | 2 | Available | M26952EPAC |
Mém : (GIT) EPAC/UAC
There are no comments on this title.
Log in to your account to post a comment.