Cited By
View all- Boll AVieregg NKehrer T(2024)Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/SimulinkInnovations in Systems and Software Engineering10.1007/s11334-022-00442-w20:3(209-224)Online publication date: 1-Sep-2024
- Sun QZhang WWang CLiu Z(2023)A contract-based semantics and refinement for hybrid Simulink block diagramsJournal of Systems Architecture10.1016/j.sysarc.2023.102963143(102963)Online publication date: Oct-2023
- Zhang WSun QWang CLiu Z(2023)Towards correctness proof for hybrid Simulink block diagramsJournal of Systems Architecture10.1016/j.sysarc.2023.102922141(102922)Online publication date: Aug-2023
- Show More Cited By