Étendre la spécification de programmes C concurrents et les vérifier par une transformation de source à source

Mémoire de maîtrise (2018)

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 (781kB)

Département:	Département de génie informatique et génie logiciel
Programme:	Génie informatique
Directeurs ou directrices:	Hanifa Boucheneb
URL de PolyPublie:	https://publications.polymtl.ca/2965/
Université/École:	École Polytechnique de Montréal
Date du dépôt:	03 avr. 2018 14:26
Dernière modification:	02 avr. 2026 13:27

Citer en APA 7:	Hétier, G. (2018). Étendre la spécification de programmes C concurrents et les vérifier par une transformation de source à source [Mémoire de maîtrise, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/2965/

Total des téléchargements à partir de PolyPublie

Téléchargements par année

Provenance des téléchargements

Afficher document