Home » Publication » 13941

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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma