The following pages link to Davide Basile (Q2065532):
Displayed 10 items.
- (Q272307) (redirect page) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker (Q2065535) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- Automata for Specifying and Orchestrating Service Contracts (Q2974790) (← links)
- Safe Adaptation Through Implicit Effect Coercion (Q3460866) (← links)
- (Q5114827) (← links)
- (Q5216080) (← links)
- Research Challenges in Orchestration Synthesis (Q6197380) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)