Volume 195; Issue none

1

A Calculus for Team Automata

Year:
2008
Language:
english
File:
PDF, 377 KB
english, 2008
2

Preface

Year:
2008
Language:
english
File:
PDF, 70 KB
english, 2008
7

Type Checking Circus Specifications

Year:
2008
Language:
english
File:
PDF, 525 KB
english, 2008
12

Formal Specification Generation from Requirement Documents

Year:
2008
Language:
english
File:
PDF, 327 KB
english, 2008