Funder
National Natural Science Foundation of China
Southwest University
Chongqing Graduate Student Research Innovation Project
Subject
Hardware and Architecture,Software
Reference47 articles.
1. Simulink user’s guide;Mathworks,2022
2. Test generation and test prioritization for Simulink models with dynamic behavior;Matinnejad;IEEE Trans. Softw. Eng.,2018
3. Formal verification of intelligent cyber-physical systems with the interactive theorem prover KeYmaera X;Herber,2021
4. Multi-paradigm modeling for cyber–physical systems: A systematic mapping review;Barišić;J. Syst. Softw.,2022
5. An operational semantics for Simulink’s simulation engine;Bouissou,2012