SCARSO, Giordano
SCARSO, Giordano
INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
An Enhanced Exchange Operator for XC
2024-01-01 Audrito G.; Bortoluzzi D.; Damiani F.; Scarso G.; Torta G.
Static analysis and family-based model checking of featured transition systems with VMC
2021-01-01 Beek M.H.T.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfre M.; Lienhardt M.
Static analysis and family-based model checking with VMC
2021-01-01 Ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Lienhardt M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Enhanced Exchange Operator for XC | 2024 | Audrito G.; Bortoluzzi D.; Damiani F.; Scarso G.; Torta G. | |
| Static analysis and family-based model checking of featured transition systems with VMC | 2021 | Beek M.H.T.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfre M.; Lienhardt M. | |
| Static analysis and family-based model checking with VMC | 2021 | Ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Lienhardt M. |