Verifying the Co-Simulation Orchestration Engine for INTO-CPS

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Documents

Links

Original languageEnglish
Article number125016
JournalCEUR Workshop Proceedings
Volume1744
Number of pages6
ISSN1613-0073
Publication statusPublished - Nov 2016
Event21st International Symposium on Formal Methods - Limassol, Cyprus
Duration: 7 Nov 201611 Nov 2016

Conference

Conference21st International Symposium on Formal Methods
CountryCyprus
CityLimassol
Period07/11/201611/11/2016

Bibliographical note

This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 108213508