Informatique
Permanent URI for this communityhttp://192.168.16.104:4000/handle/123456789/9
Browse
3 results
Search Results
Item Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants(2007) Bouabana, Thouraya épse. TebibelItem Sémantique formelle des modèles de parallélisme orientés objets et temps réel(2011) Hammal, YoucefItem Transcription des spécifications UML vers le système FoCAL(2007) Abbas, Messaoud; Ben-Yelles, Choukri-Bey.