An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models
Büker, Matthias and Damm, Werner and Ehmen, Günter and Stierand, Ingo
Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)
09 / 2011
inproceedings
