引用本文:	明仲,张立军,秦胜潮.智能系统的分析和验证专题前言.软件学报,2022,33(7):2365-2366

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 1802次下载 5440次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
智能系统的分析和验证专题前言
明仲¹, 张立军^2,3, 秦胜潮⁴
1.深圳大学计算机与软件学院, 广东深圳 518061;2.中国科学院软件研究所, 北京 100190;3.中国科学院大学, 北京 100049;4.华为香港研究所, 香港 999077

摘要:

关键词:

DOI：10.13328/j.cnki.jos.006591

分类号:

基金项目:

Abstract:

Key words:

引用本文:

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览次下载次
分享到：微信更多字体:加大+\|默认\|缩小-

摘要:

关键词:

DOI：

分类号:

基金项目:

Abstract:

Key words: