×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
Quick Search
Advanced Search
Toggle navigation
Home
About Journal
Introduction
Indexed-in
Academic Index
Publication Ethics Statement
Journal Online
Current Issue
Special Issues
Highlights
Online First
Archive
Most Cited
Most Downloaded
Editorial Board
Guide for Authors
News
Contact Us
中文
Model-based System Verification: Theoretical Framework, Key Technologies, and Future Prospects
Sun Bo, Ren Yi, Wang Silin, Liu Qi, Li Zhidong
Journal of System Simulation . 2026, (
4
): 829 -854 . DOI: 10.16182/j.issn1004731x.joss.25-0797
http://www.china-simulation.com
