软件可达性相关硕士博士期刊学术论文

针对网构软件（Internetware）可达性检测中存在状态空间“爆炸”等问题，提出了一种基于网构软件代数模型的可达性检测方法．根据网构软件......