By the same authors

From the same journal

From the same journal

An integrated semantics for reasoning about SysML design models using refinement

Research output: Contribution to journalArticle



Publication details

JournalSoftware and Systems Modeling
DateE-pub ahead of print - 1 Sep 2015
DatePublished (current) - 2015
Number of pages28
Pages (from-to)1-28
Early online date1/09/15
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations