王恪铭

副教授

硕士生导师

学历:博士研究生毕业

学位:工学博士学位

办公地点:西南交通大学 系统可信性自动验证国家地方联合工程实验室 犀浦校区3号楼-3# Building, Xipu Campus Southwest Jiaotong University

性别:男

在职信息:在岗

所在单位:计算机与人工智能学院

保守初心,胜过一切! Guard your heart with all vigilance, for from it are the sources of life.

研究方向

当前位置: Home 中文 >>研究方向

形式化方法、模型检验

形式化方法、模型检验