Towards a Formal Specification of Multi-paradigm Modelling - Archive ouverte HAL Access content directly
Conference Papers Year :

Towards a Formal Specification of Multi-paradigm Modelling

(1) , (2, 3, 4, 5) , (6) , (7) , (8) , (9)
1
2
3
4
5
6
7
8
9
Not file

Dates and versions

hal-03022707 , version 1 (24-11-2020)

Identifiers

  • HAL Id : hal-03022707 , version 1

Cite

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⟩
27 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More