BURATTIN, ANDREA
BURATTIN, ANDREA
Istituto di Economia
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
2023-01-01 Casaluce, R.; Burattin, A.; Chiaromonte, F.; Vandin, A.
White-box validation of quantitative product lines by statistical model checking and process mining
2024-01-01 Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; Lluch Lafuente, Alberto; Vandin, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement | 1-gen-2023 | Casaluce, R.; Burattin, A.; Chiaromonte, F.; Vandin, A. | |
White-box validation of quantitative product lines by statistical model checking and process mining | 1-gen-2024 | Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; Lluch Lafuente, Alberto; Vandin, Andrea |