MAZZARA, MANUEL
MAZZARA, MANUEL
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
A timed semantics of workflows
2015-01-01 Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M.
An LTL Semantics of BusinessWorkflows with Recovery
2014-01-01 Mazzara, Manuel; Bersani, MARCELLO MARIA; Ferrucci, Luca
Issues about the Adoption of Formal Methods for Dependable Composition of Web Services
2014-01-01 Mazzara, Manuel; Ciavotta, Michele
Titolo | Data di pubblicazione | Autori | File |
---|---|---|---|
A timed semantics of workflows | 1-gen-2015 | Bersani M. M.Distefano S.Ferrucci L.Mazzara M. | |
An LTL Semantics of BusinessWorkflows with Recovery | 1-gen-2014 | MAZZARA, MANUELBERSANI, MARCELLO MARIAFERRUCCI, LUCA | |
Issues about the Adoption of Formal Methods for Dependable Composition of Web Services | 1-gen-2014 | MAZZARA, MANUELCIAVOTTA, MICHELE |