![](/img/cover-not-exists.png)
[IEEE 2018 30th International Conference on Microelectronics (ICM) - Sousse, Tunisia (2018.12.16-2018.12.19)] 2018 30th International Conference on Microelectronics (ICM) - Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution
Ahmed, Mazen, Safar, MonaYear:
2018
Language:
english
DOI:
10.1109/ICM.2018.8704088
File:
PDF, 4.68 MB
english, 2018