位置：成果数据库 > 期刊 > 期刊详情页
<br class="MsoNormal" />Assume-Guarantee Reasoning with Local Specifications<b>
  • ISSN号：0129-0541
  • 期刊名称：International Journal of Foundations of Computer S
  • 时间：2013
  • 页码：419-444
  • 相关项目：基于测试用例多样性的并发软件适应性测试方法研究
作者： Alessio Lomuscio|Ben Strulo|Nigel Walker|Peng Wu|
同期刊论文项目
基于测试用例多样性的并发软件适应性测试方法研究
期刊论文 2 会议论文 1
同项目期刊论文
并发软件适应性随机测试方法