2024年8月21日
星期三
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
形式化建模与验证
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
郭建
作品数:38
被引量:21
H指数:2
供职机构:华东师范大学
研究主题:形式化验证 形式化验证方法 源代码 微内核 时态逻辑
黄文超
作品数:59
被引量:49
H指数:5
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式化验证 形式化建模 合约 形式化建模与验证 移动终端
熊焰
作品数:154
被引量:539
H指数:10
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:无线传感器网络 形式化验证 移动自组网 移动代理 WSN
郝莉莉
作品数:24
被引量:20
H指数:3
供职机构:西北工业大学
研究主题:AUV 合同网 着色PETRI网 CPN 形式化建模与验证
王国辉
作品数:59
被引量:94
H指数:5
供职机构:首都师范大学
研究主题:定理证明器 形式化验证 定理证明 逻辑命题 机器人
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张