Browsing by Author "Aleb, Nassima"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes(2013) Aleb, Nassima; Nadjet, KamelItem Spécification des systèmes en environnement mobile à l'aide du Pi-calcul(2000) Aleb, Nassima