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

相关作者

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