BALLARINI, Paolo
BALLARINI, Paolo
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal analysis of production line systems by probabilistic model checking tools | 2021 | Ballarini P.; Horvath A. | |
| Performance Analysis of Production Lines Through Statistical Model Checking | 2021 | Ballarini P.; Horvath A. |