Checking SysML Models for Co-Simulation

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

Author(s)

Department/unit(s)

Publication details

Title of host publicationInternational Conference on Formal Engineering Methods
DatePublished - 2016
PublisherSpringer
Original languageUndefined/Unknown

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Discover related content

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

View graph of relations