Sémantique et validation d'un modèle basé sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexes

dc.contributor.author	Abdelli, Abdelkrim
dc.date.accessioned	2014-11-30T12:50:34Z
dc.date.available	2014-11-30T12:50:34Z
dc.date.issued	2007
dc.identifier.uri	http://hdl.handle.net/123456789/668
dc.description	129 p. ; 30 cm. (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Petri, Réseaux de	fr_FR
dc.subject	Temps réel (informatique)	fr_FR
dc.subject	Multimédias interactifs	fr_FR
dc.title	Sémantique et validation d'un modèle basé sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexes	fr_FR
dc.type	Thesis	fr_FR