Skip to main content
Communities & Collections
All of DSpace
Statistics
English
العربية
বাংলা
Català
Čeština
Deutsch
Ελληνικά
Español
Suomi
Français
Gàidhlig
हिंदी
Magyar
Italiano
Қазақ
Latviešu
Nederlands
Polski
Português
Português do Brasil
Srpski (lat)
Српски
Svenska
Türkçe
Yкраї́нська
Tiếng Việt
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
Home
Informatique
Théses de Doctorat
Théses de Doctorat
Permanent URI for this collection
http://192.168.16.104:4000/handle/123456789/1850
Browse
Search
By Issue Date
By Author
By Title
By Subject
By Subject Category
Search
By Issue Date
By Author
By Title
By Subject
By Subject Category
3 results
Back to results
Filters
Author
1
search.filters.author.Bouabana, Thouraya épse. Tebibel
1
search.filters.author.Boukala, M.C.
1
search.filters.author.Ouazar, Fatiha
1
search.filters.author.Salmi, Nabila
Subject
search.filters.subject.Pétri, Réseaux de
1
search.filters.subject.Composants logiciels
1
search.filters.subject.Systèmes, Analyse de : Logiciels
1
search.filters.subject.Temps réel (informatique)
1
search.filters.subject.UML (informatique)
Show more
Search subject
Submit
Browse subject tree
Date
Start
End
Submit
2007 - 2009
3
Has files
3
Yes
Reset filters
Settings
Sort By
Accessioned Date Descending
Most Relevant
Title Ascending
Date Issued Descending
Results per page
1
5
10
20
40
60
80
100
Search
End date: 2009
×
Subject: search.filters.subject.Pétri, Réseaux de
×
Search Tools
Search Results
Now showing
1 - 3 of 3
Item
Analyse de performances des systèmes complexes par décomposition/c
(
2009
)
Salmi, Nabila
Show more
Item
Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants
(
2007
)
Bouabana, Thouraya épse. Tebibel
Show more
Item
Vérification distribuée des systèmes temps réel
(
2008
)
Ouazar, Fatiha
;
Boukala, M.C.
Show more
