<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Najem, Manal"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : B | N
Nombre de documents: 2

B

Boucheneb, H., Imine, A., & Najem, M. (octobre 2010). Symbolic Model-Checking of Optimistic Replication Algorithms [Communication écrite]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. Lien externe

N

Najem, M. (2009). Model-Checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'éditions collaboratives distribuées [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Liste produite: Tue Nov 19 05:17:04 2024 EST.