By the same authors

Formal Analysis in Model Management: Exploiting the Power of CZT

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2010
Original languageUndefined/Unknown


Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.

Discover related content

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

View graph of relations