教授 博士生导师
性别:男
学历:清华大学
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
联系方式:13814535662
电子邮箱:99238c31c1669f1a6faf8e19688e1617f376042e2f5aaf8b37ba2631e2367bc84697d5062e85740f16f8d230bc4d40e4d97150638ae703a78dc2393d16d5288eccffe5338c08faa2fff171ac7acd1748a6fbbd3479d3ba17aeb8d2a400a246a698d78b722a754317151b5997c0ce892b837f61958c31fd81182383702f44c729
手机版
最后更新时间:..
点击次数:
所属单位:计算机科学与技术学院/人工智能学院/软件学院
发表刊物:南京邮电大学学报
是否译文:否
发表时间:2019-06-27
合写作者:马艳
通讯作者:曹子宁
上一条: Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking
下一条: A Specification with Performance Evaluation for Probabilistic Timed Automata