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.
Model checking a TTCAN implementation
Conference proceeding (March 2011)
An Industrial Application of Model Checking to a Vessel Control System
Conference proceeding (January 2011)