Volume 240; Issue none

1

Preface

Year:
2009
Language:
english
File:
PDF, 102 KB
english, 2009
4

Symbolic Model-based Test Selection

Year:
2009
Language:
english
File:
PDF, 363 KB
english, 2009
5

Transforming Programs into Recursive Functions

Year:
2009
Language:
english
File:
PDF, 248 KB
english, 2009
6

Stateflow Diagrams in Circus

Year:
2009
Language:
english
File:
PDF, 477 KB
english, 2009
7

Model Checking Merged Program Traces

Year:
2009
Language:
english
File:
PDF, 311 KB
english, 2009
8

Multiple Synchrony in MSC

Year:
2009
Language:
english
File:
PDF, 346 KB
english, 2009
10

Mechanical Reasoning about Families of UTP Theories

Year:
2009
Language:
english
File:
PDF, 316 KB
english, 2009
15

Mechanised Wire-wise Verification of Handel-C Synthesis

Year:
2009
Language:
english
File:
PDF, 325 KB
english, 2009