Accueil de DSpace
→
Informatique
→
Théses de Doctorat
→
Voir le document

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

Abdelli, Abdelkrim

URI: http://hdl.handle.net/123456789/668

Date: 2007

Description:

129 p. ; 30 cm. (+ CD-Rom)

Afficher la notice complète

Fichier(s) constituant ce document

Nom: résumé.docx

Taille: 12.81Ko

Format: Microsoft Word 2007

Nom: Th4861.pdf

Taille: 1.453Mo

Format: PDF

Ce document figure dans la(les) collection(s) suivante(s)

Théses de Doctorat

Chercher dans le dépôt

Parcourir

Tout DSpace
Cette collection

Mon compte