DSpace Home
→
Thèses et Mémoires
→
Faculté des Sciences de la technologie
→
Informatique
→
Magistère Informatique
→
Browsing Magistère Informatique by Author

Browsing Magistère Informatique by Author "Saidouni Djamel-Eddine"

Now showing items 1-4 of 4

Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata)

Boumaza Amel; Saidouni Djamel-Eddine (Université Frères Mentouri - Constantine 1, 2017-01-01)
Détermination des automates temporisés avec durées d'actions pour le test formel

Kitouni Ilhem; Saidouni Djamel-Eddine (2017-01-01)
Formalisation des systèmes temps-réel avec durées d'actions

Belala Nabil; Saidouni Djamel-Eddine (2017-01-01)
Vérification des équivalences de comportements des systèmes concurrents

Benamira Adel; Saidouni Djamel-Eddine (2017-01-01)

Now showing items 1-4 of 4

Search DSpace

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account