![](/img/cover-not-exists.png)
[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - A Methodology for the Simplification of Tabular Designs in Model-Based Development
Bialy, Monika, Lawford, Mark, Pantelic, Vera, Wassyng, AlanYear:
2015
Language:
english
DOI:
10.1109/formalise.2015.15
File:
PDF, 211 KB
english, 2015