Keywords
| CEGAR (1) | CEP (1) | change impact analysis (1) |
| code generation (1) | Collaborative software (1) | collaborative-modeling framework (1) |
| coloured Petri net (1) | communication mediation (1) | component-based design (1) |
| Component-wise abstraction (1) | composition language (1) | Computation Tree Logic (1) |
| Computer Science (1) | concurrency (1) | concurrent (1) |
| constraint programming (1) | ||
