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.authorAbdelli, Abdelkrim
dc.date.accessioned2014-11-30T12:50:34Z
dc.date.available2014-11-30T12:50:34Z
dc.date.issued2007
dc.description129 p. ; 30 cm. (+ CD-Rom)fr_FR
dc.identifier.urihttp://hdl.handle.net/123456789/668
dc.language.isofrfr_FR
dc.subjectPetri, Réseaux defr_FR
dc.subjectTemps réel (informatique)fr_FR
dc.subjectMultimédias interactifsfr_FR
dc.titleSémantique et validation d'un modèle basé sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexesfr_FR
dc.typeThesisfr_FR

Files

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
résumé.docx
Size:
12.81 KB
Format:
Microsoft Word XML
No Thumbnail Available
Name:
Th4861.pdf
Size:
1.45 MB
Format:
Adobe Portable Document Format
Description:

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: