共 50 条
- [1] Barriers for Adopting FMI-based Co-Simulation in Industrial MBSE Processes 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 510 - 519
- [2] Checking SysML Models for Co-simulation FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 450 - 465
- [3] CO-SIMULATION OF HARDWARE RTL AND SOFTWARE SYSTEM USING FMI 2018 WINTER SIMULATION CONFERENCE (WSC), 2018, : 572 - 583
- [4] Step Revision in Hybrid Co-simulation with FMI 2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 173 - 183
- [5] Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements 19TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2016), 2016, : 318 - 325
- [6] Co-Simulation of Power Systems and Computing Systems using the FMI Standard 2021 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2021), 2021, : 730 - 731
- [7] Integrating Tools: Co-Simulation in UPPAAL using FMI-FMU 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 11 - 19
- [9] Runtime Verification for FMI-Based Co-simulation RUNTIME VERIFICATION (RV 2022), 2022, 13498 : 304 - 313