Original language | English |
---|---|
Journal | International journal of design and innovation research |
Volume | 5 |
Issue number | 2 |
Publication status | Published - 2011 |
MoE publication type | A1 Journal article-refereed |
Keywords
- formal modeling
- requirement
- synthesis
William Brace, Eric Coatanéa, Heikki Kauranne, M. Heiska
Research output: Contribution to journal › Article › Scientific › peer-review
Original language | English |
---|---|
Journal | International journal of design and innovation research |
Volume | 5 |
Issue number | 2 |
Publication status | Published - 2011 |
MoE publication type | A1 Journal article-refereed |