Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rong Wang, Junfeng Wang. Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm. In 24th IEEE International Intelligent Transportation Systems Conference, ITSC 2021, Indianapolis, IN, USA, September 19-22, 2021. pages 1786-1791, IEEE, 2021. [doi]

This author has not been identified. Look up 'Rong Wang' in GoogleThis author has not been identified. Look up 'Junfeng Wang' in Google

runs on WebDSL