机译：获得的经验：构建Caernarvon高保证操作系统
机译：高安全性实时操作系统的高安全性时序分析
机译：使用COTS组件构建高度可用的基站控制器
机译：使用COTS组件构建高保证系统：是否，为什么，何时以及如何？
机译：扩展COCOMO II软件成本模型，以使用现成的商用（COTS）软件组件估算软件系统的工作量和进度：COCOTS模型
机译：从室内测量和涡度协方差看苏格兰松树生态系统的总碳通量和组分碳通量
机译：基于组件的单一体系结构，用于高保证网络物理 系统
机译：集成基于COTs的系统的演化过程（EpIC）：概述。构建，部署和支持基于商业现货（COTs）的解决方案的关键要素
