Search Results - "MORZENTI, Angelo C"

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing by Bianchessi, Andrea G., Cugola, Gianpaolo, Formentin, Simone, Morzenti, Angelo C., Ongini, Carlo, Panigati, Emanuele, Rossi, Matteo, Savaresi, Sergio M., Schreiber, Fabio A., Tanca, Letizia, Vannutelli Depoli, Edoardo G.

“…Vehicle sharing in urban areas has the potential to be the answer to some of the main issues that hinder the spreading of electric vehicles, in particular for…”
Get full text

Real-time system validation by model checking in TRIO by Felder, M., Morzenti, A.C.

“…The authors discuss the importance of formal, executable specifications in supporting validation and early prototyping of real-time systems. TRIO is a…”
Get full text

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing : ELECTRO-MOBILITY by BIANCHESSI, Andrea G, CUGOLA, Gianpaolo, DEPOLI, Edoardo G. Vannutelli, FORMENTIN, Simone, MORZENTI, Angelo C, ONGINI, Carlo, PANIGATI, Emanuele, ROSSI, Matteo, SAVARESI, Sergio M, SCHREIBER, Fabio A, TANCA, Letizia

Get full text