أعزائي المتصفحون أعزائي الأعضاء إليكم مجموعة من الرسائل
والمتعلقة أساسا بتخصص الإعلام الآلي
أرجوا أن تكون عونا لكم
1/ UNIVERSITE DE TUNIS EL MANAR
FACULTE DES SCIENCES DE TUNIS
MEMOIRE DE D.E.A
Présenté par:
Faïez CHARFI
Une approche d’interfaçage de CoD à
UPPAAL pour la spécification et la
vérification des systèmes temps reel
http://www.m.mlfnt.net/download.php?id=1147********************
2/ Institut National d'Informatique
Mémoire de Magistère
en Informatique
Option
Systèmes Informatiques
Thème
Vérification distribuée des systèmes
de grandes tailles
Présenté par:
Messaoud RAHIM
http://www.m.mlfnt.net/download.php?id=1148********************
3/ Université de Rennes 1
pour obtenir
le grade de : DOCTEUR DE L’UNIVERSITÉ DE RENNES 1
Mention INFORMATIQUE
Présenté par:
Sébastien SAUDRAIS
Titre de la thèse :
Qualité de Service Temporelle
pour
Composants Logiciels
http://www.m.mlfnt.net/download.php?id=1149********************
ترقبوا المزيد بإذن الله.
الأحد سبتمبر 13, 2009 8:35 pm
