Source Code Testing for Automotive Software Based on UPPAAL Model
Conference proceeding (June 2014)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Conference proceeding (June 2014)
Conference proceeding (March 2011)
Conference proceeding (January 2011)