MORZENTI, ANGELO CARLO
MORZENTI, ANGELO CARLO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems
1996-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Pezze', M.; SAN PIETRO, P. SILVA S.
Architecture of the Green Move System
2017-01-01 Bianchessi, Andrea G.; Cugola, Gianpaolo; Formentin, Simone; Morzenti, Angelo; Ongini, Carlo; Panigati, Emanuele; Rossi, Matteo; Schreiber, Fabio A.; Savaresi, Sergio Matteo; Tanca, Letizia; Vannutelli Depoli, Edoardo G.
Green Move Dynamic Applications
2017-01-01 Cugola, Gianpaolo; Morzenti, Angelo; Rossi, Matteo; Vannutelli Depoli, Edoardo G.
Linguaggi formali e compilazione - 2a edizione
2015-01-01 CRESPI REGHIZZI, Stefano; Breveglieri, LUCA ODDONE; Morzenti, ANGELO CARLO
Supervision and control systems framework
2000-01-01 R., Capobianchi; D., Carcagno; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO