Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes

dc.contributor.author	Saidouni D.E.
dc.contributor.author	Arous Mokdad
dc.date.accessioned	2022-05-24T10:47:09Z
dc.date.available	2022-05-24T10:47:09Z
dc.date.issued	2017-01-01
dc.identifier.uri	http://depot.umc.edu.dz/handle/123456789/7016
dc.description	91 f.
dc.subject	Informatique
dc.title	Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes
dc.coverage	01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD