Accéder directement au contenu Accéder directement à la navigation
Rapport

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

Corinne Ancourt 1, 2
1 CRI - Centre de Recherche en Informatique
2 MINES ParisTech - École nationale supérieure des mines de Paris
Type de document :
Rapport
Liste complète des métadonnées
https://hal-mines-paristech.archives-ouvertes.fr/hal-01254381
Contributeur : Claire Medrala <>
Soumis le : mardi 12 janvier 2016 - 10:53:16
Dernière modification le : jeudi 24 septembre 2020 - 16:36:02

Identifiants

  • HAL Id : hal-01254381, version 1

Collections

ENSMP | INSMI | ENSMP_CRI | PARISTECH | LARA | INSTITUT-TELECOM | PSL

Citation

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 TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

185