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 D.E."

Now showing items 1-2 of 2

De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité

Saidouni D.E.; Arfi Farid (2017-01-01)
Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes

Saidouni D.E.; Arous Mokdad (2017-01-01)

Now showing items 1-2 of 2

Search DSpace

Browse

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

My Account