Yunja Choi, Dongwoo Kim. A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns. IEICE Transactions, 100-D(7):1526-1529, 2017. [doi]
@article{ChoiK17-15,
title = {A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns},
author = {Yunja Choi and Dongwoo Kim},
year = {2017},
url = {http://search.ieice.org/bin/summary.php?id=e100-d_7_1526},
researchr = {https://researchr.org/publication/ChoiK17-15},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {100-D},
number = {7},
pages = {1526-1529},
}