By the same authors

From the same journal

From the same journal

Refinement-based verification of implementations of Stateflow charts

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalFormal Aspects of Computing
DatePublished - 2014
Issue number2
Volume26
Pages (from-to)367-405
Original languageEnglish

Projects

Discover related content

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

View graph of relations