搜索到 篇“ 并发系统 “的相关文章

相关作者

赵岭忠
作品数：119被引量：136H指数：6
供职机构：桂林电子科技大学
研究主题：并发系统 网络 CSP 多智能体 基于ASP
钱俊彦
作品数：147被引量：215H指数：6
供职机构：桂林电子科技大学
研究主题：网络 并发系统 STATECHARTS 等价 CSP
蒋昌俊
作品数：553被引量：1,273H指数：20
供职机构：同济大学
研究主题：PETRI网 用户 交易 终端 欺诈
古天龙
作品数：481被引量：1,391H指数：16
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
段振华
作品数：208被引量：227H指数：8
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 形式化验证 命题投影时序逻辑 投影时序逻辑