|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：软件学院、大连理工大学-立命馆大学国际信息与软件学院副院长
性别：男
毕业院校：北陆先端科学技术大学院大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼525
联系方式：
电子邮箱：
扫描关注
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
点击次数：
论文类型：期刊论文
论文编号：364327
发表时间：2023-06-18
发表刊物：INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
卷号：33
期号：06
页面范围：885-932
ISSN号：0218-1940
关键字：PROGRAMMING LANGUAGE; REAL-TIME; SEMANTICS