Veuillez utiliser cette adresse pour citer ce document :
http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/17926| Titre: | Formal verification for an extended model |
| Auteur(s): | MEZIANI, Ahlam KHOBIZI, Yasmina |
| Date de publication: | 2024 |
| Editeur: | Université de bouira AKLI MOHAND OULHADJ |
| Référence bibliographique: | SCIENCE EXACTE |
| URI/URL: | http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/17926 |
| Collection(s) : | Mémoires Master |
Fichier(s) constituant ce document :
| Fichier | Description | Taille | Format | |
|---|---|---|---|---|
| 026 ISIL.pdf | 3,14 MB | Adobe PDF | Voir/Ouvrir |
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.