Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Scientific Research
Research Field
- No Content
Paper Publications
More>>
- Zhang, Nan^Duan, Zhenhua^Tian, Cong,A complete axiom system for propositional projection temporal logic with cylinder computation model:THEORETICAL COMPUTER SCIENCE,2016,609:639-657
- Zhang, Nan ; Duan, Zhenhua ; Tian, Cong ,A complete axiom system for propositional projection temporal logic with cylinder computation model:Theoretical Computer Science,2016,609:639-657
- Zhang, Nan^Yang, Mengfei^Gu, Bin^Duan, Zhenhua^Tian, Cong,Verifying safety critical task scheduling systems in PPTL axiom system:JOURNAL OF COMBINATORIAL OPTIMIZATION,2016,31(2):577-603
- Zhang, Nan^Duan, Zhenhua^Tian, Cong,A mechanism of function calls in MSVL:THEORETICAL COMPUTER SCIENCE,2016,654:11-25
Patents
- No Content
Published Books
- No Content
Research Projects
- No Content
Research Team
- No Content