Dettaglio pubblicazione
2008, Hybrid Systems: Computation and Control, Pages 58-71 (volume: 4981)
Contract-based design for computation and verification of a closed-loop hybrid system (04b Atto di convegno in volume)
Benvenuti Luca, A. Ferrari, E. Mazzi, A. Sangiovanni Vincentelli
ISBN: 9783540789284, 97...
keywords