Special issue on model and data engineering for advanced data-intensive systems and applications

Veröffentlicht 2019

Special issue on modeling, verification and testing of dependable critical systems (DETECT19)

Veröffentlicht 2020-2021

Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems

von Bouba, Khaoula
Veröffentlicht in International Conference on Model and Data Engineering (11. : 2022 : Kairo; Online) Model and data engineering (2023)

A Reverse Design Framework for Modifiable-off-the-Shelf Embedded Systems: Application to Open-Source Autopilots

von Kamni, Soulimane
Veröffentlicht in International Conference on Model and Data Engineering (11. : 2022 : Kairo; Online) Model and data engineering (2023)

Model and data engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017 : proceedings

Veröffentlicht 2017

Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems

von Mesli-Kesraoui, Ouissem
Veröffentlicht in MEDI (10. : 2021 : Online) Model and Data Engineering (2021)

Advances in model and data engineering in the digitalization era : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022 : proceedings

Veröffentlicht 2022