Accéder directement au contenu Accéder directement à la navigation


...
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-01331654v1  Communication dans un congrès
Frédéric Dambreville. Map-reduce implementation of belief combination rules
DATA 2016, Jun 2016, Lisbonne, Portugal
...
hal-01236498v1  Communication dans un congrès
Luc Jaulin. Separator Algebra for State Estimation
SMART 2015, Université de Manchester, Sep 2015, Manchester, United Kingdom
...
tel-02372711v1  Thèse
Dominique Monnet. Global minmax optimization for robust H∞ control
Systems and Control [cs.SY]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0009⟩