Formal specification and systematic model-driven testing of embedded automotive systems.

Sebastian Siegl, Kai-Steffen Hielscher, Reinhard German, Christian Berger

Browse the full DATE paper archive.