Alexandre Donzé (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179

Selection of 1 from 7 records - Alexandre Donzé has 13 coauthors