退出
我的积分:
中文文献批量获取
外文文献批量获取
李梦君;
国防科学技术大学计算机学院;
形式化软件工程; Event—B方法; Rodin;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:使用Event-B和Rodin平台使混合系统正式化
机译:缩减Event-B:用例开发和Rodin集成
机译:基于Event-B和Rodin平台的巡航控制系统的形式化建模
机译:观察基于工程教学的影响在6年级学生对工程态度的影响,因为它们从事建筑电动自行车
机译:使用Event-B对不精确的系统要求进行形式化分析
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:使用合适的本体从功能/模态数据重构过程的形式化描述模型的方法,系统和软件装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。