华侨大学骆翔宇--个人主页-- Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

骆翔宇Xiangyu Luo

教授

职称：教授硕士生导师

性别：男

学历：博士研究生

学位：工学博士学位

所在单位：计算机科学与技术学院

办公地点：机电实验大楼A427

电子邮箱：

学科：计算机技术
软件工程

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

发布时间：2018-11-29 点击次数：

发表刊物：2017 International Conference on Electronic Information Technology and Computer Engineering
刊物所在地：EDP Sciences
卷号：128
期号：1
字数：4000
是否译文：否
发表时间：2016-10-31
第一作者：陈祖希,骆翔宇

上一条：Operational modal analysis for linear time-varying continuous dynamic structure based on LMPCA

下一条：Age estimation with dynamic age range

个人信息

骆翔宇Xiangyu Luo

同专业硕导

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV