Vérification distribuée des systèmes complexes.

dc.contributor.author	Boukala, Mohamed Cherif
dc.date.accessioned	2014-11-30T12:59:20Z
dc.date.available	2014-11-30T12:59:20Z
dc.date.issued	2012
dc.identifier.uri	http://hdl.handle.net/123456789/671
dc.description	104 p. : ill. ; 30 cm. (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Espace des états, Méthodes de l'	fr_FR
dc.subject	Petri, Réseaux de	fr_FR
dc.subject	Théorèmes : Démonstration automatique	fr_FR
dc.subject	Logique temporelle	fr_FR
dc.subject	Systèmes, Analyse de	fr_FR
dc.title	Vérification distribuée des systèmes complexes.	fr_FR
dc.type	Thesis	fr_FR