检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

Toggle Thumbnails

显示/隐藏图片

Select

1. 安全关键系统需求形式化建模分析实例研究

张维珺，胡军，李宛倩，陈朔，石梦烨，唐红英

计算机科学与探索 2019, 13 (8): 1295-1306. DOI: 10.3778/j.issn.1673-9418.1806044

相关文章 | 多维度评价

摘要 (446)

PDF (803)

投稿查稿专家登录主编登录编辑登录期刊
公众号