我院博士生祖佺和张苗苗老师与中科院软件所合作的论文“Bounded Model-checking of Discrete Duration Calculus”被第16届混合系统国际会议：计算与控制(16th International Conference on Hybrid Systems: Computation and Control, HSCC 2013)录用。 HSCC属于ACM会议是混成系统领域的国际顶级会议。
EN
学校首页
诚聘英才
搜索