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
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-02292048
Contributor : Team Kairos <>
Submitted on : Thursday, September 19, 2019 - 1:26:52 PM
Last modification on : Wednesday, October 23, 2019 - 4:16:31 PM

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

Record views

45

Files downloads

223