BALLARINI, Paolo
BALLARINI, Paolo
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
A Framework for Optimisation Based Stochastic Process Discovery
2024-01-01 Cry, Pierre; Horváth, András; Ballarini, Paolo; Le Gall, Pascale
Formal analysis of production line systems by probabilistic model checking tools
2021-01-01 Ballarini P.; Horvath A.
Performance Analysis of Production Lines Through Statistical Model Checking
2021-01-01 Ballarini P.; Horvath A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Framework for Optimisation Based Stochastic Process Discovery | 2024 | Cry, Pierre; Horváth, András; Ballarini, Paolo; Le Gall, Pascale | |
| 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. |