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

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

  • 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
Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods. International Conference on Software Engineering and Formal Methods : SEFM2017, Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers
EditorsA. Cerone, M. Roveri
Number of pages15
Volume10729
PublisherSpringer
Publication year2018
Pages284-299
ISBN (print)978-3-319-74780-4
ISBN (Electronic)978-3-319-74781-1
DOIs
Publication statusPublished - 2018
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
SeriesLecture Notes in Computer Science
Volume10729
ISSN0302-9743

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

ID: 117605593