Proposition d'une démarche de spécification et de vérification des systèmes complexes

dc.contributor.author	Rahim, Messaoud
dc.date.accessioned	2017-11-28T10:11:57Z
dc.date.available	2017-11-28T10:11:57Z
dc.date.issued	2017
dc.identifier.uri	http://hdl.handle.net/123456789/5578
dc.description	120 p. : ill. ; 30 cm (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Systèmes complexes	fr_FR
dc.subject	Pétri , Réseaux de	fr_FR
dc.subject	SysML (informatique)	fr_FR
dc.subject	Méthodes formelles (informatique)	fr_FR
dc.title	Proposition d'une démarche de spécification et de vérification des systèmes complexes	fr_FR
dc.type	Thesis	fr_FR