|
个人信息：Personal Information
教授 博士生导师 研究生导师
性别：女
毕业院校：西安电子科技大学
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机科学与技术
电子邮箱：
扫描关注
- [1]A complete axiom system for propositional projection temporal logic with cylinder computation model.THEORETICAL COMPUTER SCIENCE.2016,609 :639-657
- [2]A complete axiom system for propositional projection temporal logic with cylinder computation model.Theoretical Computer Science.2016,609 :639-657
- [3]Verifying safety critical task scheduling systems in PPTL axiom system.JOURNAL OF COMBINATORIAL OPTIMIZATION.2016,31 (2):577-603
- [4]A mechanism of function calls in MSVL.THEORETICAL COMPUTER SCIENCE.2016,654 :11-25
| |