首页
书库
排行榜
作家福利
登 录
作家专区
首页
/
书库
/
严密系统设计——方法、趋势与挑战
/
第5章自主系统的设计方法-5.2自主系统的测试
书籍详情
目 录
第5章自主系统的设计方法-5.2自主系统的测试
书名:
严密系统设计——方法、趋势与挑战
作者名:
(法)约瑟夫·希发基思(JosephSifakis) 著;王强,
本章字数:
983
更新时间:
2024-08-30 13:08:39
上一章
下一章