[IEEE 2015 IEEE 16th International Symposium on High...

  • Main
  • [IEEE 2015 IEEE 16th International...

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - Model-Checking and Game theory for Synthesis of Safety Rules

Machin, Mathilde, Dufosse, Fanny, Guiochet, Jeremie, Powell, David, Roy, Matthieu, Waeselynck, Helene
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2015
Language:
english
DOI:
10.1109/HASE.2015.15
File:
PDF, 840 KB
english, 2015
Conversion to is in progress
Conversion to is failed