VANDIN, ANDREA
VANDIN, ANDREA
Universita' degli Studi di CAMERINO
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 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 |