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

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Dokumenter

    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.
OriginalsprogEngelsk
Titel1st Workshop on Formal Co-Simulation of Cyber-Physical Systems : CoSim-CPS - A satellite event of SEFM2017
Antal sider15
UdgivelsesstedTrento
Udgivelsesårsep. 2017
Artikelnummer11
StatusUdgivet - sep. 2017
Begivenhed1st Workshop on Formal Co-Simulation of Cyber-Physical Systems - FBK's building, Trento, Italien
Varighed: 5 sep. 2017 → …
https://sites.google.com/view/cosimcps17

Workshop

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

Bibliografisk 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.

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 117605593