POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
On How Bit-Vector Logic Can Help Verify LTL-based Specifications
2022-01-01 Pourhashem Kallehbasti, Mohammad Mehdi; Rossi, Matteo Giovanni; Baresi, Luciano