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]
No references recorded for this publication.
No citations of this publication recorded.