Java PathFinder; concurrency errors; model checking; software components; static analysis;
机译:重新考虑软件组件的安全性:软件组件级别的完整性和交叉验证
机译:了解用于验证巴基斯坦软件行业中基于Web的应用程序的非功能需求的启发式方法
机译:受控环境外壳环境与能量预测模型的构建与验证
机译:软件组件的部分验证:用于环境构建的启发式方法
机译:验证具体软件环境中的抽象组件。
机译:在无处不在的传感器网络环境中使用属性自动构建节点软件
机译:软件组件的部分验证:环境构建的启发式方法