Items where Author is "Kawamura, Y."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Article
Yamaguchi, T., Brain, M. 
ORCID: 0000-0003-4216-7151, Ryder, C. , Imai, Y. & Kawamura, Y. (2019).
Application of Abstract Interpretation to the Automotive Electronic Control System.
Lecture Notes in Computer Science (VMCAI 2019: Verification, Model Checking, and Abstract Interpretation), 11388,
pp. 425-445.
doi: 10.1007/978-3-030-11245-5_20