Formal Early design synthesis of mobile work machine

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

Keywords

@article{fbddf532dc5f401d8e1d52a886a85111,

title = "Formal Early design synthesis of mobile work machine",

keywords = "formal modeling, requirement, synthesis, formal modeling, requirement, synthesis, formal modeling, requirement, synthesis",

author = "William Brace and Eric Coatan{\'e}a and Heikki Kauranne and M. Heiska",

year = "2011",

language = "English",

volume = "5",

journal = "International journal of design and innovation research",

issn = "1621-4749",

publisher = "ENSAM Cluny",

number = "2",

}

TY - JOUR

T1 - Formal Early design synthesis of mobile work machine

AU - Brace, William

AU - Coatanéa, Eric

AU - Kauranne, Heikki

AU - Heiska, M.

PY - 2011

Y1 - 2011

KW - formal modeling

KW - requirement

KW - synthesis

KW - formal modeling

KW - requirement

KW - synthesis

KW - formal modeling

KW - requirement

KW - synthesis

M3 - Article

VL - 5

JO - International journal of design and innovation research

JF - International journal of design and innovation research

SN - 1621-4749

IS - 2

ER -