The following pages link to Carlo Ghezzi (Q438995):
Displaying 9 items.
- DSOL: a declarative approach to self-adaptive service orchestrations (Q438997) (← links)
- Concurrency in programming languages: A survey (Q1077156) (← links)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (Q1941849) (← links)
- Dealing with incompleteness in automata-based model checking (Q2281650) (← links)
- Supporting verification-driven incremental distributed design of components (Q2324188) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Symbolic execution of concurrent systems using Petri nets (Q3031902) (← links)
- (Q3046670) (← links)
- (Q3214362) (← links)
