• 专利

    刘关俊,胡新邦,张凯文,一种针对嵌入式多线程程序的WCET分析方法及装置,授权公告号:CN119473643B,2025年10月蒋昌俊,闫春钢,刘关俊,等,基于PD-Net的并发系统检...[详细]

共1条  1/1 
首页上页下页尾页

版权所有:同济大学 形式逻辑与机器学习实验室

地址:上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email:liuguanjun@tongji.edu.cn