VANDIN, ANDREA
VANDIN, ANDREA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
BProVe: a Formal Verification Framework for Business Process Models
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
BProVe: Tool Support for Business Process Verification
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
Formal Approaches for Modeling and Analysis of Business Process Collaborations
2024-01-01 Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
BProVe: a Formal Verification Framework for Business Process Models | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
BProVe: Tool Support for Business Process Verification | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
Formal Approaches for Modeling and Analysis of Business Process Collaborations | 1-gen-2024 | Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume |