BASILE, DAVIDE Statistiche

BASILE, DAVIDE  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
Specifying Variability in Service Contracts 1-gen-2017 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Playing with our CAT and Communication-Centric Applications 1-gen-2016 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
Relating Two Automata-based Models of Orchestration and Choreography. 1-gen-2016 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
A formal framework for secure and complying services 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Automata for Analysing Service Contracts 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Automata for Service Contracts 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
From orchestration to choreography through contract automata 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
Secure and Unfailing Services 1-gen-2013 Degano, Pierpaolo; Basile, Davide; Ferrari, GIAN-LUIGI