Zhe Chen
Personal Homepage
Paper Publications
路由协议的自动形式化验证方法研究
Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Journal:计算机技术与发展

Translation or Not:no

Date of Publication:2017-12-01

Co-author:黄吴丹,严俊琦

Correspondence Author:Zhe Chen

Personal information

Associate Professor
Supervisor of Master's Candidates

Gender:Male

Alma Mater:National Institute of Applied Science (France)

Degree:Doctoral Degree in Engineering

School/Department:College of Computer Science and Technology

Business Address:将军大道29号

Click:

Open time:..

The Last Update Time:..


Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

MOBILE Version