Formal Early design synthesis of mobile work machine

William Brace, Eric Coatanéa, Heikki Kauranne, M. Heiska

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    JournalInternational journal of design and innovation research
    Volume5
    Issue number2
    Publication statusPublished - 2011
    MoE publication typeA1 Journal article-refereed

    Keywords

    • formal modeling
    • requirement
    • synthesis

    Cite this