 |
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 : moussaamraniIdRef : 253133734
Dominique Blouin 2, 3, 4, 5
Author
IdHAL : dominique-blouinORCID : 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
Record views