Formal Early design synthesis of mobile work machine

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

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    JulkaisuInternational journal of design and innovation research
    Vuosikerta5
    Numero2
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • formal modeling
    • requirement
    • synthesis

    Siteeraa tätä