The Community for Technology Leaders
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) (2015)
Daytona Beach Shores, FL, USA
Jan. 8, 2015 to Jan. 10, 2015
ISBN: 978-1-4799-8110-6
TABLE OF CONTENTS

Cover Art (PDF)

pp. C4

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Copyright Page (PDF)

pp. iv

Table of Contents (PDF)

pp. v-vii

Program Committee (PDF)

pp. x-xi

Model-Checking and Game theory for Synthesis of Safety Rules (Abstract)

Mathilde Machin , LAAS, Toulouse, France
Fanny Dufosse , LAAS, Toulouse, France
Jeremie Guiochet , LAAS, Toulouse, France
David Powell , LAAS, Toulouse, France
Matthieu Roy , LAAS, Toulouse, France
Helene Waeselynck , LAAS, Toulouse, France
pp. 36-43

Author Index (PDF)

pp. 281-282
86 ms
(Ver 3.3 (11022016))