Filter your results
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Discrete Choice in the Presence of Numerical UncertaintiesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2381-2392. ⟨10.1109/TCAD.2018.2857320⟩
Journal articles
hal-02632884v1
|
|||
|
Model Checking Real-Time SystemsHandbook of model checking, Springer-Verlag, pp.1001-1046, 2018, 978-3-319-10574-1. ⟨10.1007/978-3-319-10575-8_29⟩
Book sections
hal-01889280v1
|
||
|
Conservation and Role of Electrostatics in Thymidylate SynthaseScientific Reports, 2015, ⟨10.1038/srep17356⟩
Journal articles
hal-01255008v1
|