Home » Publication » 13929

Dettaglio pubblicazione

2014, INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, Pages 699-724 (volume: 24)

Assume-guarantee verification of nonlinear hybrid systems with ARIADNE (01a Articolo in rivista)

Benvenuti Luca, D. Bresolin, P. Collins, A. Ferrari, L. Geretti, T. Villa

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma