City Research Online

Items where Author is "Ryder, C."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Publication Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C., Imai, Y. and 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

This list was generated on Sat Aug 24 04:44:10 2019 UTC.