共 28 条
[1]
[Anonymous], 2012, PROC 9 INT MODELICA, DOI [10.3384/ecp12076173, DOI 10.3384/ECP12076173]
[2]
Bellard F, 2005, USENIX Association Proceedings of the FREENIX/Open Source Track, P41
[3]
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
[J].
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020,
2021, 12524
:263-279
[6]
Ceusters G., 2021, MODEL PREDICTIVE CON
[7]
Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration
[J].
PROCEEDINGS OF THE RAPID SIMULATION AND PERFORMANCE EVALUATION: METHODS AND TOOLS (RAPIDO '19) / HIPEAC'19 CONFERENCE,
2019,
[9]
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
[J].
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017,
2018, 10729
:300-314