The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study.

Steffen Prochnow, Reinhard von Hanxleden

Browse the full GI paper archive.