An FMI-Based Initialization Plugin for INTO-CPS Maestro 2

von Hansen, Simon Thrane
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)

Towards a Digital Twin - Modelling an Agricultural Vehicle

von Foldager, Frederik F.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Migrating the INTO-CPS Application to the Cloud

von Macedo, Hugo Daniel
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Generation of Co-simulation Algorithms Subject to Simulator Contracts

von Gomes, Cláudio
Veröffentlicht in CoSim-CPS (3. : 2019 : Oslo) Software engineering and formal methods (2020)

INTRODUCTION TO DIGITAL TWIN ENGINEERING

von Feng, Hao
Veröffentlicht in Annual Modeling and Simulation Conference (2021 : Online) Annual Modeling and Simulation Conference (ANNSIM 2021) (2021)

Towards a Static Check of FMUs in VDM-SL

von Battle, Nick
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Introducing Regression Tests and Upgrades to the INTO-CPS Application

von Talasila, Prasad
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

von Hansen, Simon Thrane
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

THE EFFECT AND SELECTION OF SOLUTION SEQUENCE IN CO-SIMULATION

von Inci, Emin
Veröffentlicht in Annual Modeling and Simulation Conference (2021 : Online) Annual Modeling and Simulation Conference (ANNSIM 2021) (2021)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks

von Thule, Casper
Veröffentlicht in CoSim-CPS (3. : 2019 : Oslo) Software engineering and formal methods (2020)

Collaborative Modelling and Co-simulation in Engineering an Computing Curricula

von Larsen, Peter Gorm
Veröffentlicht in Frontiers in software engineering education (2020)