Filtrer vos résultats
- 8
- 2
- 4
- 4
- 2
- 3
- 1
- 10
- 4
- 1
- 4
- 2
- 1
- 1
- 1
- 10
- 6
- 5
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 7
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
|
triés par
|
|
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[Research Report] COST European Cooperation in Science and Technology. 2019
Rapport
hal-03168832v1
|
||
|
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2019
Rapport
hal-03168831v1
|
||
|
|
A Tridimensional Approach for Studying the Formal Verification of Model TransformationsVerification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
Communication dans un congrès
hal-00684717v1
|
||
|
|
Multi-paradigm modelling for cyber–physical systems: a descriptive frameworkSoftware and Systems Modeling, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
Article dans une revue
hal-03572782v1
|
||
Towards a Formal Specification of Multi-paradigm ModellingFirst International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Communication dans un congrès
hal-03022707v1
|
|||
|
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2017
Rapport
hal-03168845v1
|
||
|
|
Formal Verification Techniques for Model Transformations: A Tridimensional ClassificationThe Journal of Object Technology, 2015, 14 (3), pp.1:1-43. ⟨10.5381/jot.2015.14.3.a1⟩
Article dans une revue
hal-01083759v1
|
||
|
|
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Communication dans un congrès
hal-02428017v1
|
||
|
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[Technical Report] COST European Cooperation in Science and Technology. 2017
Rapport
hal-03168840v1
|
||
|
|
Featured model types: Towards Systematic Reuse in Modelling Language EngineeringMiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. pp.1 - 7, ⟨10.1145/2896982.2896987⟩
Communication dans un congrès
hal-01406507v1
|