搜索到 篇“ 动态逻辑 “的相关文章

相关作者

李必信
作品数：261被引量：431H指数：12
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 WEB服务 CPS
翟小祥
作品数：8被引量：1H指数：1
供职机构：东南大学计算机科学与工程学院
研究主题：动态逻辑 CPS 微分代数 微分 规约
陈乔乔
作品数：9被引量：18H指数：1
供职机构：东南大学
研究主题：CPS 动态逻辑 微分代数 微分 信息物理融合系统
李加凯
作品数：10被引量：17H指数：1
供职机构：东南大学
研究主题：CPS 动态逻辑 信息物理融合系统 定理证明器 自适应性
朱敏
作品数：96被引量：56H指数：4
供职机构：东南大学
研究主题：无源光网络 CPS 动态逻辑 波长 光纤