 |
Conference papers
Towards a Formal Specification of Multi-paradigm Modelling
Moussa Amrani
1
Dominique Blouin
2, 3, 4, 5
Robert Heinrich
6
Arend Rensink
7
Hans Vangheluwe
8
Andreas Wortmann
9
4
ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
Moussa Amrani 1
Author Employer institution : University of Luxembourg [Luxembourg] IdHAL : moussaamrani
Dominique Blouin 2, 3, 4, 5
Author IdHAL : dominique-blouin ORCID : https://orcid.org/0000-0001-7606-0251
Robert Heinrich 6
Author
Arend Rensink 7
Author
Hans Vangheluwe 8
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Andreas Wortmann 9
Author
1
UNamur - Université de Namur [Namur] (Rempart de la Vierge 8, 5000 Namur - Belgium)
2
Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - France)
3
IP Paris - Institut Polytechnique de Paris (France)
4
ACES - Autonomic and Critical Embedded Systems (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - France)
5
INFRES - Département Informatique et Réseaux (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
6
KIT - Karlsruher Institut für Technologie (P.O.box 3640, 76021 Karlsruhe - Germany)
7
University of Twente [Netherlands] (Drienerlolaan 5, 7522 NB Enschede - Netherlands)
8
UA - University of Antwerp (Prinsstraat 13, 2000 Antwerpen - Belgium)
9
RWTH Aachen University (Germany)
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-03022707
Contributor : Dominique Blouin Connect in order to contact the contributor
Submitted on : Tuesday, November 24, 2020 - 10:48:45 PM
Last modification on : Wednesday, November 3, 2021 - 8:18:59 AM
Contributor : Dominique Blouin Connect in order to contact the contributor
Submitted on : Tuesday, November 24, 2020 - 10:48:45 PM
Last modification on : Wednesday, November 3, 2021 - 8:18:59 AM
Identifiers
- HAL Id : hal-03022707, version 1
Citation
Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, et al.. Towards a Formal Specification of Multi-paradigm Modelling. First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany. ⟨hal-03022707⟩
Metrics
Les métriques sont temporairement indisponibles