搜索筛选:
搜索耗时2.7057秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：章玥,郭建,朱晓冉,王文君,朱晶洋,汤家华,陈峻念,,
来源：计算机工程与科学 年份：2014
Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实际工业领域的方法,包括重写需求、建立抽象模...
相关搜索：
