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

Manal Najem

Mémoire de maîtrise (2009)

Document en libre accès dans PolyPublie

Affichage préliminaire

Libre accès au plein texte de ce document Conditions d'utilisation: Tous droits réservés Télécharger (7MB)

Département:	Département de génie informatique et génie logiciel
Programme:	Génie informatique
Directeurs ou directrices:	Hanifa Boucheneb et Ettore Merlo
URL de PolyPublie:	https://publications.polymtl.ca/140/
Université/École:	École Polytechnique de Montréal
Date du dépôt:	16 nov. 2009 14:16
Dernière modification:	02 avr. 2026 15:29

Citer en APA 7:	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]. PolyPublie. https://publications.polymtl.ca/140/
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Total des téléchargements à partir de PolyPublie

Téléchargements par année

Provenance des téléchargements

Actions réservées au personnel

Afficher document