Filter your results
- 3
- 3
- 3
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
|
|
sorted by
|
|
Static Analysis of Numerical Programs: Constrained Affine Sets Abstract DomainSymbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses
pastel-00643442v1
|
||
|
Analyse statique par interprétation abstraite de systèmes hybrides.Informatique [cs]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Theses
pastel-00004412v1
|
||
|
Simulation abstraite : une analyse statique de modèles SimulinkGénie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Theses
tel-00366685v1
|