Sûreté : de l'analyse à l'instrumentation et à la synthèse de code - Mines Paris Accéder directement au contenu
Rapport Année : 2015

Sûreté : de l'analyse à l'instrumentation et à la synthèse de code

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Compilation Parallélisation Langage de programmation [cs.PL] Mathématiques appliquées

Claire Medrala  : Connectez-vous pour contacter le contributeur

https://minesparis-psl.hal.science/hal-01254381

Soumis le : mardi 12 janvier 2016-10:53:16

Dernière modification le : vendredi 19 avril 2024-16:18:57

Fichier non déposé

Dates et versions

hal-01254381 , version 1 (12-01-2016)

Identifiants

  • HAL Id : hal-01254381 , version 1

Citer

Corinne Ancourt. Sûreté : de l'analyse à l'instrumentation et à la synthèse de code. [Travaux universitaires] A/597/CRI, Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2015. ⟨hal-01254381⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM ENSMP ENSMP_CRI PARISTECH LARA PSL ENSMP_DR
92 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More