Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel

dc.contributor.author	Belala Nabil
dc.contributor.author	Saidouni Djamel-Eddine
dc.date.accessioned	2022-05-24T10:44:07Z
dc.date.available	2022-05-24T10:44:07Z
dc.date.issued	2017-01-01
dc.identifier.uri	http://depot.umc.edu.dz/handle/123456789/6819
dc.description	115 f.
dc.language.iso	fre
dc.subject	Informatique
dc.title	Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
dc.coverage	01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD