Skip to Main content Skip to Navigation
New interface


...
tel-00422569v2  Theses
Colas Le Guernic. Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2009. English