2024年12月26日
星期四
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
软件模型检测
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
易秋萍
作品数:7
被引量:2
H指数:1
供职机构:中国科学院软件研究所
研究主题:初始化 层次化 测试用例 裁剪 软件模型检测
薛锦云
作品数:137
被引量:557
H指数:13
供职机构:江西师范大学
研究主题:PAR方法 程序设计 形式化方法 循环不变式 PAR
李斌
作品数:18
被引量:26
H指数:3
供职机构:中国科学院软件研究所
研究主题:源码 源代码 注释 补丁 和函数
肖健宇
作品数:19
被引量:39
H指数:4
供职机构:湖南涉外经济学院
研究主题:B方法 形式化方法 程序依赖图 并发程序 UML状态机
张健沛
作品数:162
被引量:815
H指数:14
供职机构:哈尔滨工程大学计算机科学与技术学院
研究主题:隐私保护 支持向量机 聚类 匿名 数据流
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张