欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
E-mai;：hbzhang@mail.xidian.edu.cn; Hai-Bin Zhang received his B.Sc. degrees from the Ocean University of China in 2003, and Ph.D. degree from the Xidian University in 2007. Since then, he has been working as a lecturer in the School of Computer Science and Technology of Xidian University. His research interests concentrate on formal verification, real-time and hybrid systems. E-mai;：hbzhang, zhhduan@mail.xidian.edu.cn;Corresponding Author; Zhen-Hua Duan obtained his B.Sc. degree in 1982 and M.Sc. degree in 1987 from Northwest University, China, and Ph.D. degree in 1996 from University of Newcastle upon Tyne, UK. He became a lecturer in 1984 and was promoted to a professor in 1995 at Northwest University. In 1989 he joined Computer Science Department at University of Sheffield, UK, to work as a visiting scholar. In 2003 he joined Xidian University, China, as a professor of computer science. His research interests concentrate on formal verification, realtime and hybrid systems. He is also interested in design and development of trustworthy software.
同期刊论文项目
同项目期刊论文
期刊信息
位置：