×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
English
前瞻科技
首页
关于本刊
编委会
期刊浏览
当前目录
往期目录
出版伦理
作者中心
投稿须知
撰稿要求
版权转让协议书
文后参考文献著录格式
稿酬及寄刊地址回执
订阅
开放获取
广告合作
English
高级检索
前瞻科技
首页
关于本刊
编委会
期刊浏览
当前目录
往期目录
出版伦理
作者中心
投稿须知
撰稿要求
版权转让协议书
文后参考文献著录格式
稿酬及寄刊地址回执
订阅
开放获取
广告合作
EN
高级检索
复杂系统规约、分析与验证发展现状与展望
詹乃军, 王戟
Challenges and Trends for Specification, Analysis, and Verification of Complex Systems
ZHAN Naijun, WANG Ji
前瞻科技 . 2023, (
1
): 7 -22 . DOI: 10.3981/j.issn.2097-0781.2023.01.001
