×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
×
Toggle navigation
计算机科学
首页
关于本刊
期刊介绍
学术指标
学术荣誉
编委会
道德声明
OA政策
期刊订阅
联系我们
English
一种AltaRica3.0模型到NuSMV模型的转换方法
陈朔, 胡军, 唐红英, 石梦烨
Transformation Method for AltaRica3.0 Model to NuSMV Model
CHEN Shuo, HU Jun, TANG Hong-ying, SHI Meng-ye
计算机科学 . 2020, (
12
): 73 -86 . DOI: 10.11896/jsjkx.190400035
首页