POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Efficient Scalable Verification of LTL Specifications
2015-01-01 Baresi, Luciano; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI
Flexible Modular Formalization of UML Sequence Diagrams
2014-01-01 Baresi, Luciano; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI
Scalable Formal Verification of UML Models
2015-01-01 POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
ST4RT – Semantic Transformations for Rail Transportation
2018-01-01 Carenini, Alessio; Ugo, Dell’Arciprete; Stefanos, Gogos; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI; Riccardo, Santoro