2024年12月25日
星期三
|
欢迎来到佛山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
符号模型检测
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
段振华
作品数:213
被引量:235
H指数:8
供职机构:西安电子科技大学
研究主题:时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
逄涛
作品数:5
被引量:1
H指数:1
供职机构:西安电子科技大学
研究主题:符号模型检测 时序逻辑 操作符 符号化 可信计算
李祥
作品数:145
被引量:424
H指数:9
供职机构:贵州大学
研究主题:公平 椭圆曲线密码体制 安全性 密码协议 SPIN
岳华伟
作品数:4
被引量:5
H指数:1
供职机构:中国科学技术大学
研究主题:SOC 片上系统 符号模型检测 总线系统 系统模拟
郑君杰
作品数:54
被引量:152
H指数:7
供职机构:解放军理工大学
研究主题:网络安全 检定 安全协议 体系结构 气象
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张