VeRV: A temporal and data-concerned verification framework for the vehicle bus systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shuo Zhang, Fei He, Ming Gu. VeRV: A temporal and data-concerned verification framework for the vehicle bus systems. In 2015 IEEE Conference on Computer Communications, INFOCOM 2015, Kowloon, Hong Kong, April 26 - May 1, 2015. pages 1167-1175, IEEE, 2015. [doi]

This author has not been identified. Look up 'Shuo Zhang' in GoogleThis author has not been identified. Look up 'Fei He' in GoogleThis author has not been identified. Look up 'Ming Gu' in Google

runs on WebDSL