上海科技大学知识管理系统

反馈留言

	人工智能系统的形式化验证技术研究进展与趋势
	卜磊1; 陈立前2; 董云卫3; 黄小炜4; 李建霖5; 李钦6; 刘万伟2; 阮文杰7; 宋富8; 孙有程9; 王竟亦10; 吴敏11; 许智武12; 薛白5; 杨鹏飞5; 易新平4; 张立军5; 张民6
	2020
报告类型	进展报告
语种	中文
文献类型	科技报告
条目标识符	https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/124600
专题	信息科学与技术学院_PI研究组_宋富组
作者单位	1.南京大学 2.国防科技大学 3.西北工业大学 4.利物浦大学 5.中国科学院软件研究所 6.华东师范大学 7.埃克塞特大学 8.上海科技大学 9.贝尔法斯特女王大学 10.浙江大学 11.牛津大学 12.深圳大学
推荐引用方式 GB/T 7714	卜磊,陈立前,董云卫,等. 人工智能系统的形式化验证技术研究进展与趋势,2020.

条目包含的文件
条目无相关文件。

个性服务

查看访问统计

谷歌学术

谷歌学术中相似的文章

[卜磊]的文章

[陈立前]的文章

[董云卫]的文章

百度学术

百度学术中相似的文章

[卜磊]的文章

[陈立前]的文章

[董云卫]的文章

必应学术

必应学术中相似的文章

[卜磊]的文章

[陈立前]的文章

[董云卫]的文章

相关权益政策

暂无数据

收藏/分享

微信扫一扫：分享 微信里点“发现”，扫一下 二维码便可将本文分享至朋友圈。