The following pages link to Massimo Tivoli (Q931098):
Displaying 3 items.
- Failure-free coordinators synthesis for component-based architectures (Q931099) (← links)
- Automated synthesis of application-layer connectors from automata-based specifications (Q2424673) (← links)
- Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (Q2799159) (← links)