Filter your results
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 1
- 1
- 3
- 8
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Coupling MPC and DP Methods for an Efficient Solution of Optimal Control Problems27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.68-77, ⟨10.1007/978-3-319-55795-3_5⟩
Conference papers
hal-01626904v1
|
||
|
|
Enterprise 2.0 : literature taxonomy and usage evaluationPOEM 2016 : 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling, Nov 2016, Skövde, Sweden. pp.26-40, ⟨10.1007/978-3-319-48393-1_3⟩
Conference papers
hal-01368016v1
|
||
|
|
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.124-141, ⟨10.1007/978-3-319-39570-8_9⟩
Conference papers
hal-01432932v1
|