BORRELLI, Antonio
BORRELLI, Antonio
DIPARTIMENTO DI INGEGNERIA (solo contabile)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.0 secondi).
Detecting Video Game-Specific Bad Smells in Unity Projects
2020-01-01 Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M.
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique
2019-01-01 Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Detecting Video Game-Specific Bad Smells in Unity Projects | 1-gen-2020 | Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M. | |
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique | 1-gen-2019 | Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A. |