Sfoglia per Autore BORRELLI, Antonio
Mostrati risultati da 1 a 2 di 2
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.
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
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. |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile