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) |