MENGHI, CLAUDIO
MENGHI, CLAUDIO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.
On requirement verification for evolving Statecharts specifications
2014-01-01 Ghezzi, Carlo; Menghi, Claudio; Molzam Sharifloo, Amir; Spoletini, Paola
PuRSUE -from specification of robotic environments to synthesis of controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
TOrPEDO: witnessing model correctness with topological proofs
2021-01-01 Menghi, C.; Rizzi, A. M.; Bernasconi, A.; Spoletini, P.