Symbolic Simulation of Hybrid Systems.

Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm

Browse the full APSEC paper archive.