Liyuan Zhang, Michael Glaß, Nils Ballmann, Jürgen Teich. Bridging algorithm and ESL design: Matlab/Simulink model transformation and validation. In Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013. pages 1-8, IEEE, 2013. [doi]
Abstract is missing.