即插即用的架构设计和验证 – LASERPDF书籍下载

原名:Plug-and-Play Architectural Design and Verification – LASER
作品简介:在软件架构中，组件代表系统的计算单元
通常，设计时验证使用有限状态验证技术（例如，。……