位置：成果数据库 > 期刊 > 期刊详情页
A framework for automated and certified refinement steps
  • 期刊名称：Journal of Innovations in Systems and Software Eng
  • 时间：0
  • 页码：-
  • 相关项目：软件构件的精化、组合和粘合理论研究
作者： Andreas Griesmayer|Zhiming Liu|Charles Moisset|Shuling Wang|
同期刊论文项目
软件构件的精化、组合和粘合理论研究
期刊论文 7 会议论文 12
同项目期刊论文
Failure-divergence semantics and refinement of long running transactions