Utilisation des ECATNets récursifs pour la spécification et la vérification des systèmes complexes

dc.contributor.author	Kheldoun, Ahmed
dc.date.accessioned	2019-09-15T10:19:02Z
dc.date.available	2019-09-15T10:19:02Z
dc.date.issued	2018-06-30
dc.identifier.uri	http://hdl.handle.net/123456789/7774
dc.description	112 p. : ill. ; 30 cm (+ CD-Rom)	en_US
dc.language.iso	fr	en_US
dc.subject	Systèmes adaptatifs (informatique) ; Pétri , Réseaux de ; Logique temporelle ; Systèmes à paramètres répartis ; Méthodes formelles (informatique)	en_US
dc.title	Utilisation des ECATNets récursifs pour la spécification et la vérification des systèmes complexes	en_US
dc.type	Thesis	en_US