MANDRIOLI, DINO
MANDRIOLI, DINO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.011 secondi).
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.
Formal Methods for Real-Time Computing: an Overview
1996-01-01 Heitmeyer, C.; Mandrioli, Dino
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
On eclectic specification environments
1992-01-01 Ghezzi, Carlo; Mandrioli, Dino
Software Qualities and Principles
2004-01-01 Ghezzi, Carlo; M., Jazayeri; Mandrioli, Dino
Software Qualities and Principles
2002-01-01 Ghezzi, Carlo; M., Jazayeri; Mandrioli, Dino
Supervision and control systems framework
2000-01-01 R., Capobianchi; D., Carcagno; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO