Volume 266; Issue none

1

Design and Verification of a Trustable Medical System

Year:
2010
Language:
english
File:
PDF, 979 KB
english, 2010
2

Preface

Year:
2010
Language:
english
File:
PDF, 94 KB
english, 2010
3

Debugging as a Science, that too, when your Program is Changing

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