![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) - Helsinki, Finland (2019.7.22-2019.7.25)] 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) - Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach
Lindner, Marcus, Fitinghoff, Nils, Eriksson, Johan, Lindgren, PerYear:
2019
Language:
english
DOI:
10.1109/indin41052.2019.8972014
File:
PDF, 5.23 MB
english, 2019