Filtrer vos résultats
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
3 résultats
|
|
|
triés par
|
Coupling robust optimization and Model-Checking techniques for robust scheduling in the context of Industry 4.0Boris Sokolov and Dmitry Ivanov and Alexandre Dolgui. Scheduling in Industry 4.0 and Cloud Manufacturing, 289, Springer International Publishing, 2020, International Series in Operations Research & Management Science, 978-3-030-43176-1. ⟨10.1007/978-3-030-43177-8_6⟩
Chapitre d'ouvrage
hal-02479424v1
|
|||
Definition and verification of functional safety concepts for the definition of safe logical architectures8th International Conference on Complex Systems Design & Management, CSD&M’17, Dec 2017, Paris, France
Communication dans un congrès
hal-02984917v1
|
|||
|
|
Pédagogie renouvelée pour des cursus d'ingénierie à l'universitéColloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, CETSIS 2014, Oct 2014, Besançon, France
Communication dans un congrès
hal-01094950v1
|