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

Corinne Ancourt

Reports

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

Document type :

Reports

Domain :

Computer Science [cs] / Distributed, Parallel, and Cluster Computing [cs.DC]

Computer Science [cs] / Compilation

Computer Science [cs] / Parallelization

Computer Science [cs] / Programming Languages [cs.PL]

Mathematics [math] / Applied mathematics

Complete list of metadata

https://hal-mines-paristech.archives-ouvertes.fr/hal-01254381
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Tuesday, January 12, 2016 - 10:53:16 AM
Last modification on : Wednesday, November 17, 2021 - 12:33:01 PM

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

Identifiers

Collections

Citation

Export

Metrics

85

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

Identifiers

Collections

Citation

Export

Share

Metrics

85