搜索到 篇“ 结构化操作语义 “的相关文章

相关作者

郭峰
作品数:25被引量:31H指数:4
供职机构:北方工业大学
研究主题:PETRI网 结构化操作语义 进程代数 PETRI网模型 WEB服务描述
刘志锋
作品数:38被引量:69H指数:4
供职机构:江苏大学计算机科学与通信工程学院
研究主题:状态空间爆炸 隐通道 计算树逻辑 马尔可夫决策过程 操作语义
金暐
作品数:6被引量:2H指数:1
供职机构:北京大学信息科学技术学院
研究主题:顺序图 MARTE Π演算 结构化操作语义 状态机
魏光
作品数:3被引量:7H指数:2
供职机构:北方工业大学信息工程学院
研究主题:PETRI网 PETRI网模型 结构化操作语义 WEB服务描述 互模拟
孙国强
作品数:98被引量:203H指数:8
供职机构:上海理工大学光电信息与计算机工程学院
研究主题:光散射 动态光散射 嵌入式 频分复用 氦氖激光器