4.4.1 對實時嵌入式設備建模的支持

• 書名： 嵌入式軟件系統測試：基于形式化方法的自動化測試解決方案
• 作者名： 殷永峰 姜博編著
• 本章字數： 983字
• 更新時間： 2021-02-22 15:46:27