![](/img/cover-not-exists.png)
[IEEE 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES) - Toulouse, France (2017.6.14-2017.6.16)] 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES) - SMT-based architecture modelling for safety assessment
Delmas, Kevin, Delmas, Remi, Pagetti, ClaireYear:
2017
Language:
english
DOI:
10.1109/SIES.2017.7993379
File:
PDF, 272 KB
english, 2017