2020113904118：一种基于Coq的机器人控制系统时序安全性的验证方法

专利名称	【2020113904118】一种基于Coq的机器人控制系统时序安全性的验证方法
合同备案号	X2023330000907	备案日期	2023-12-08	许可人	杭州电子科技大学
许可类型	普通许可	被许可人	杭州迪普科技股份有限公司
浏览人次	12	备注