Skip to Main content Skip to Navigation
New interface


...
tel-02191544v1  Theses
Gianluca Barbon. Debugging of Behavioural Models using Counterexample Analysis
Systems and Control [cs.SY]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM077⟩