Volume 139; Issue 1

3

Formal Verification of Timed Systems Using Cones and Foci

Year:
2005
Language:
english
File:
PDF, 340 KB
english, 2005
5

Sharpening the Incompleteness of the Duration Calculus

Year:
2005
Language:
english
File:
PDF, 303 KB
english, 2005
8

Preface

Year:
2005
Language:
english
File:
PDF, 55 KB
english, 2005