昆明理工大学 信息工程与自动化学院
王剑平
TP393
国家自然科学基金项目(61364008, 61263017);云南省自然科学基金项目(2009CD041, 2010CD038);云南省教育厅重点基金项目(2013Z127);昆明理工大学人才培养项目(14118596).
Faculty of Information Engineering and Automation,Kunming University of Science and Technology
王剑平 张云生 张果 张晶.嵌入式控制状态转移的确定性实时语义义[J].控制与决策,2014,29(1):83-88
复制