搜索到 篇“ 形式化研究 “的相关文章

相关作者

李启南
作品数：21被引量：38H指数：5
供职机构：兰州交通大学电子与信息工程学院
研究主题：B方法 形式化方法 形式化研究 抗合谋 抽象机
李国强
作品数：38被引量：64H指数：4
供职机构：上海交通大学
研究主题：形式化研究 PETRI网 形式化验证 SPI演算 非交互式
顾永跟
作品数：77被引量：174H指数：6
供职机构：湖州师范学院信息与工程学院
研究主题：安全协议 云计算 激励机制 区块链 指纹匹配
张韧弦
作品数：15被引量：95H指数：5
供职机构：香港理工大学
研究主题：语用推理 形式化研究 英语 会话含义 一般会话含义
徐守祥
作品数：61被引量：43H指数：4
供职机构：深圳信息职业技术学院
研究主题：虚拟现实 虚拟人 虚拟环境 粒子系统 虚拟现实场景