Model checking of in-vehicle networking systems with CAN and FlexRay - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaoyun Guo, Toshiaki Aoki, Hsin-hung Lin. Model checking of in-vehicle networking systems with CAN and FlexRay. Journal of Systems and Software, 161, 2020. [doi]

This author has not been identified. Look up 'Xiaoyun Guo' in GoogleThis author has not been identified. Look up 'Toshiaki Aoki' in GoogleThis author has not been identified. Look up 'Hsin-hung Lin' in Google

runs on WebDSL