搜索结果: 1-1 共查到“计算机科学技术 Consistency Analysis”相关记录1条 . 查询时间(0.062 秒)
Modular Consistency Analysis of Component-Based Designs
Modular Consistency Analysis Component-Based Designs
2014/3/12
In this article, we present a practical analysis approach that makes use of the modular nature of component-based designs to alleviate the state space explosion problem, a well-known obstacle to syste...