中国科学院国际人才计划项目(2016VTA024、2017VTB0003); 国家重点基础研究发展计划(973 计划)项目(2014CB340700)
引文格式
P. S. Thiagarajan,杨绍发,王义.实时任务准入控制器的自动合成 [J].集成技术,2017,6(3):1-14
Citing format
P. S. Thiagarajan, YANG Shaofa, WANG Yi. Synthesis of Timed Admission Controllers[J]. Journal of Integration Technology,2017,6(3):1-14