首页
其他栏目
科学研究
研究领域
论文成果
专利
著作成果
科研项目
教学研究
教学资源
授课信息
教学成果
获奖信息
招生信息
学生信息
我的相册
语种
English
张元睿
讲师
招生学科专业:
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
性别:男
毕业院校:华东师范大学
学历:博士研究生毕业
学位:博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
办公地点:南京航空航天大学将军路校区计算机学院126办公室
联系方式:yuanruizhang@nuaa.edu.cn
电子邮箱:yuanruizhang@nuaa.edu.cn
访问量:
开通时间:
.
.
最后更新时间:
.
.
论文成果
当前位置:
中文主页
>>
科学研究
>>
论文成果
[1] .A Clock-based Dynamic Logic for Modelling and Verification of CCSL Specifications in Synchronous Sys:Science of Computer Programming (CCF B),2021,203:102591
[2] .A Clock-based Dynamic Logic for Schedulability Analysis of CCSL Specifications:Science of Computer Programming (CCF B),2021,202:102546
[3] .A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving:Frontiers of Computer Science (CCF B),16(4):164407
[4] .A Dynamic Logic with Branching Modalities:Journal of Logical and Algebraic Methods in Programming (JCR Q2),2024,136:100921
[5] .Specification and Verification of Multiclock Systems using a Temporal Logic with Clock Constraints:Formal Aspects of Computing (CCF B),2024,36(2)
共5条 1/1
首页
上页
下页
尾页