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

Publikation: Forskning - peer reviewKonferencebidrag i proceedings

Dokumenter

  • Luis Diogo Couto
    Luis Diogo CoutoUnited Technologies Research Center, Cork
  • Stylianos Basagiannis
    Stylianos BasagiannisUnited Technologies Research Center, Cork
  • El Hassan Ridouane
    El Hassan RidouaneUnited 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

ID: 117605593