By the same authors

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Department/unit(s)

Publication details

Title of host publication7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation
DatePublished - Oct 2016
Pages171-186
Number of pages16
Original languageEnglish
ISBN (Electronic)978-3-319-47169-3

Discover related content

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

View graph of relations