Validation de contrôleurs décrits dans un environnement de synthèse de haut niveau par les réseaux de pétri

dc.contributor.author	Boudaoud Fay?al
dc.contributor.author	Benmohammed Mohamed
dc.date.accessioned	2022-05-24T10:46:30Z
dc.date.available	2022-05-24T10:46:30Z
dc.date.issued	2017-01-01
dc.identifier.uri	http://depot.umc.edu.dz/handle/123456789/6946
dc.description	94 f.
dc.subject	Informatique
dc.title	Validation de contrôleurs décrits dans un environnement de synthèse de haut niveau par les réseaux de pétri
dc.coverage	1 Disponible à la salle de recherche 2 Disponibles au magasin de la bibliothèque centrale