Search - PASTEL - Thèses en ligne de ParisTech Access content directly

Filter your results

3 Results
Structure: Internal structure identifier : 40199
Image document

Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain

Khalil Ghorbal
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses pastel-00643442v1
Image document

Analyse statique par interprétation abstraite de systèmes hybrides.

Olivier Bouissou
Informatique [cs]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Theses pastel-00004412v1
Image document

Simulation abstraite : une analyse statique de modèles Simulink

Alexandre Chapoutot
Génie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Theses tel-00366685v1