Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata)

dc.contributor.author	Boumaza Amel
dc.contributor.author	Saidouni Djamel-Eddine
dc.date.accessioned	2022-05-24T10:47:56Z
dc.date.available	2022-05-24T10:47:56Z
dc.date.issued	2017-01-01
dc.identifier.uri	http://depot.umc.edu.dz/handle/123456789/7059
dc.description	88 f.
dc.format	31 cm
dc.language.iso	fre
dc.publisher	Université Frères Mentouri - Constantine 1
dc.subject	Informatique
dc.title	Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata)
dc.coverage	Magister 2 copies imprimées disponibles