Skip to Main content Skip to Navigation
Conference papers

WIP on a Coordination Language to Automate the Generation of Co-Simulations

Giovanni Liboni 1, 2 Julien Deantoni 1, 3, 4
1 KAIROS - Logical Time for Formal Embedded System Design
Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, CRISAM - Inria Sophia Antipolis - Méditerranée
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-02292048
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Thursday, September 19, 2019 - 1:26:52 PM
Last modification on : Friday, January 21, 2022 - 3:12:31 AM
Long-term archiving on: : Sunday, February 9, 2020 - 12:14:45 AM

File

FDL2019_DRAFT.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02292048, version 1

Collections

Citation

Giovanni Liboni, Julien Deantoni. WIP on a Coordination Language to Automate the Generation of Co-Simulations. FDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom. ⟨hal-02292048⟩

Share

Metrics

Les métriques sont temporairement indisponibles