Volume 260; Issue none

1

Preface

Year:
2010
Language:
english
File:
PDF, 100 KB
english, 2010
7

Discovering Coordination Patterns

Year:
2010
Language:
english
File:
PDF, 773 KB
english, 2010
11

State Based Robustness Testing for Components

Year:
2010
Language:
english
File:
PDF, 534 KB
english, 2010
12

Slicing-based Reductions for Rebeca

Year:
2010
Language:
english
File:
PDF, 732 KB
english, 2010
13

Integrating Component Tests to System Tests

Year:
2010
Language:
english
File:
PDF, 354 KB
english, 2010