Depot Institutionnel de l'UMBB >
Browsing by Author Mezghiche, Mohamed
Showing results 37 to 40 of 40
Date de publication | Titre | Auteur(s) | 2013 | Towards a general framework for formal reasoning about java bytecode transformation | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis |
2017 | Towards a generic Multi-agent approach for medical image segmentation | Bennai, Mohamed Tahar; Guessoum, Zahia; Mazouzi, Smaine; Cormier, Stéphane; Mezghiche, Mohamed |
2021 | Towards compositional verification of synchronous reactive systems | Chabane, Sarah; Ameur-Boulifa, Rabéa; Mezghiche, Mohamed |
2010 | Vérification d'une méthode de preuve pour la logique de description ALC | Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, Martin |
Showing results 37 to 40 of 40
|