GHASEMPOURI, TARA
GHASEMPOURI, TARA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach | 1-gen-2016 | Danese, Alessandro; Filini, Francesca; Ghasempouri, Tara; Pravadelli, Graziano |