您的位置： 专家智库 > >

杨潇潇

作品数：4 被引量：1H指数：1
供职机构：西安电子科技大学计算理论与技术研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

共 2 条 记 录，以下是 1-2
西安电子科技大学计算理论与技术研究所
研究主题：时序逻辑 投影时序逻辑 PETRI网 命题投影时序逻辑 形式化验证
发表作品相关人物相关机构所获资助研究领域
西安电子科技大学
研究主题：网络 图像 天线 神经网络 雷达
发表作品相关人物相关机构所获资助研究领域
全选 清除 导出
共1页<1>