位置：成果数据库 > 期刊 > 期刊详情页
补偿通信顺序进程的扩展及失败发散语义
  • 期刊名称：计算机工程与科学
  • 时间：0
  • 页码：89-95+110
  • 语言：中文
  • 相关项目：Java构件的组合模型检验技术研究
作者： 陈振邦|齐治昌|王戟|
同期刊论文项目
Java构件的组合模型检验技术研究
期刊论文 9 会议论文 3
同项目期刊论文
一个面向C和Fortran数值程序的静态分析工具
基于AOP的运行时验证中的冲突检测
多重中断C程序中数据竞争及原子性检测
基于约束的多面体抽象域的弱接合
面向参数化LTL的预测监控器构造技术