Structuring simulink models for verification and reuse
| Title | Structuring simulink models for verification and reuse |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| Conference Name | 6th International Workshop on Modeling in Software Engineering, MiSE 2014 |
| Keywords | 1035715 |
| DOI | 10.1145/2593770.2593776 |
| Citation Key | WhalenMRH14 |