无线通信和移动计算
研究文章

正式的建模和研究安全验证Train-to-Train沟通

表3

LTS比较方法和传统的人工检查。
开发方法 数量的逻辑错误 数量的数据错误 细菌总数 许多开发人员 开发时间
(小时)		 测试人员的数量 测试时间
(小时)		 ×的人数总时间(小时)
LTS模型 0 7 7 6 24 7 12 228年
传统方法 17 8 25 6 48 15 12 468年