基于接口语义自动机的嵌入式软件构件与时序测试研究

【作者】 王博；

【导师】 陈文光；

【作者基本信息】 清华大学 ， 计算机科学与技术， 2016， 博士