Formal Requirement Formulation and Synthesis in System Engineering

William Brace, Eric Coatanéa

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publication17th International conference on Engineering design ICED09, Stanford, California, USA, 24 - 27 August 2009
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication

    Keywords

    • formal requirements
    • model based design
    • SysML
    • system engineering

    Cite this