Peter Gorm Larsen

Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Documents

    Luis Diogo Couto, United Technologies Research Center, Cork, Stylianos Basagiannis, United Technologies Research Center, Cork, El Hassan Ridouane, United Technologies Research Center, Cork, Miran Hasanagic,
  • Peter Gorm Larsen
This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.
Original languageEnglish
Title of host publication1st Workshop on Formal Co-Simulation of Cyber-Physical Systems : CoSim-CPS - A satellite event of SEFM2017
Number of pages15
Place of publicationTrento
Publication yearSep 2017
Article number11
StatePublished - Sep 2017
Event1st Workshop on Formal Co-Simulation of Cyber-Physical Systems - FBK's building, Trento, Italy
Duration: 5 Sep 2017 → …
https://sites.google.com/view/cosimcps17

Workshop

Workshop1st Workshop on Formal Co-Simulation of Cyber-Physical Systems
Location FBK's building
LandItaly
ByTrento
Periode05/09/2017 → …
Internetadresse

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 117605593