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