Mod'elisation et analyse de syst`emes temporis'es et hybrides (1994)

by A Olivero
Venue:PhD thesis, Institut National Polytechnique de