formal methods for components
...reless Algorithms, Systems, and Applications无线运算法则，系统及应用 Formal Methods for Components组件与对象用形式方法/会议录 Data Management in a Connected World: Essays Dedicated互联世界的数据管理：献给 Hartmut Wedekind 70诞辰纪念文集 .
基于10个网页-相关网页
formal methods for components
组件的形式化方法
以上为机器翻译结果，长、整句建议使用 人工翻译 。