1. Bouira University Digital Space
  2. Faculté des Sciences Exactes
  3. Département d’Informatique
  4. Mémoires Master
Veuillez utiliser cette adresse pour citer ce document : http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/17926
Affichage complet
Élément Dublin CoreValeurLangue
dc.contributor.authorMEZIANI, Ahlam-
dc.contributor.authorKHOBIZI, Yasmina-
dc.date.accessioned2025-03-12T09:18:53Z-
dc.date.available2025-03-12T09:18:53Z-
dc.date.issued2024-
dc.identifier.citationSCIENCE EXACTEen_US
dc.identifier.urihttp://dspace.univ-bouira.dz:8080/jspui/handle/123456789/17926-
dc.publisherUniversité de bouira AKLI MOHAND OULHADJen_US
dc.titleFormal verification for an extended modelen_US
dc.typeOtheren_US
Collection(s) :Mémoires Master

Fichier(s) constituant ce document :
Fichier Description TailleFormat 
026 ISIL.pdf3,14 MBAdobe PDFVoir/Ouvrir
Affichage abbrégé


Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.