Dettaglio pubblicazione
2008, Proceedings of the 17th IFAC World CongressIFAC PROCEEDINGS VOLUMES, Pages 8960-8965 (volume: 17)
Reachability computation for hybrid systems with Ariadne (04b Atto di convegno in volume)
BENVENUTI Luca, D. Bresolin, A. Casagrande, P. Collins, A. Ferrari, E. Mazzi, A. Sangiovanni Vincentelli, T. Villa
ISBN: 9783902661005
keywords