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

Guillaume Hétier

Master's thesis (2018)

Open Access document in PolyPublie

Preview

Open Access to the full text of this document Terms of Use: All rights reserved Download (781kB)

Department:	Department of Computer Engineering and Software Engineering
Program:	Génie informatique
Academic/Research Directors:	Hanifa Boucheneb
PolyPublie URL:	https://publications.polymtl.ca/2965/
Institution:	École Polytechnique de Montréal
Date Deposited:	03 Apr 2018 14:26
Last Modified:	02 Apr 2026 13:27

Cite in APA 7:	Hétier, G. (2018). Étendre la spécification de programmes C concurrents et les vérifier par une transformation de source à source [Master's thesis, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/2965/
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

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only

View Item