Cited By
View all- Zhang WSun QWang CLiu Z(2022)Proving Simulink Block Diagrams Correct via RefinementWireless Communications & Mobile Computing10.1155/2022/80158962022Online publication date: 1-Jan-2022
- Sun QZhang WWang CLiu Z(2022)A Contract-Based Semantics and Refinement for SimulinkDependable Software Engineering. Theories, Tools, and Applications10.1007/978-3-031-21213-0_9(134-148)Online publication date: 24-Oct-2022
- Ishii DTomita TAoki TNgo TDo TTakai H(2022)SMT-Based Model Checking of Industrial Simulink ModelsFormal Methods and Software Engineering10.1007/978-3-031-17244-1_10(156-172)Online publication date: 24-Oct-2022
- Show More Cited By