Co-simulation: The Past, Future, and Open Challenges

Abstract : In the engineering of heterogeneous systems, there have always been challenges related to ensuring a common understanding of the interfaces between the constituent systems.
Type de document :
Communication dans un congrès
Margaria, Tizianaand Steffen, Bernhard. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. Springer International Publishing, pp.504--520, 2018
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01913822
Contributeur : Team Kairos <>
Soumis le : mardi 6 novembre 2018 - 15:38:34
Dernière modification le : mercredi 7 novembre 2018 - 01:16:21

Identifiants

  • HAL Id : hal-01913822, version 1

Collections

Citation

Cláudio Gomes, Thule Casper, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe. Co-simulation: The Past, Future, and Open Challenges. Margaria, Tizianaand Steffen, Bernhard. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. Springer International Publishing, pp.504--520, 2018. 〈hal-01913822〉

Partager

Métriques

Consultations de la notice

1