Generating Simulink and Stateflow Models from Software Specifications

Sorry, there's nothing here.

3 Figures and Tables

Cite this paper

@inproceedings{Heinzemann2012GeneratingSA, title={Generating Simulink and Stateflow Models from Software Specifications}, author={Christian Heinzemann and Uwe Pohlmann and Jan Rieke and Waldemar Sch{\"a}fer and Oliver Sudmann and Matthias Tichy}, year={2012} }