《形式化方法在构件组装实时系统中的应用研究》978-7-5660-1668-3.pdf-席琳著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 形式化方法在构件组装实时系统中的应用研究; 作者：席琳著; 出版社：中央民族大学出版社; ISBN：978-7-5660-1668-3; 出版年：2019

形式化方法在构件组装实时系统中的应用研究简介

本书共五章，包括：CBSD研究综述、构件建模和构件行为相容性、实时系统测试用例产生、构件选择及组装可靠性分析等。并列题名：Study on the application of formal method in component-based real-time system eng

形式化方法在构件组装实时系统中的应用研究电子版图书下载地址：