Browsing Theses by Subject "counterexamples"
Now showing items 1-1 of 1
-
Detection of Feature Interactions in Automotive Active Safety Features
(University of Waterloo, 2012-05-02)With the introduction of software into cars, many functions are now realized with reduced cost, weight and energy. The development of these software systems is done in a distributed manner independently by suppliers, ...