MAZZARA, MANUEL
MAZZARA, MANUEL
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.021 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
Resilience of Delay-sensitive Services with Transport-layer Monitoring in SD-WAN
2022-01-01 Troia, S.; Mazzara, M.; Savi, M.; MOREIRA ZORELLO, LIGIA MARIA; Maier, G.