ITS R D Department, DENSO CORPORATIONrn1-1, Showa-cho, Kariya-shi, Aichi-ken, 448-8661 JapanrnPhone: +81-566-61-3693 Fax: +81-566-25-4751 tmatsushita@its.denso.co.jp;
TAXISITE CORPORATIONrn5-3-4,sotokanda,Chiyoda-ku, Tokyo,101-0021 JapanrnPhone: +81-3-5812-3444 Fax: +81-3-5812-3446 toyokawa@taxisite.com;
System MarketingDepartment 1, NTT DoCoMo,Inc.rn2-4-5,Akasaka, Minato-ku,Tokyo, 107-0052 JapanrnPhone: +81-3-5156-3147 Fax: +81-3-5114-7051 komiyan@s1.nttdocomo.co.jp;
Policy Research Institute for Land, Infrastructure and Transport ,rnMinistry of Land Infrastructure and Transportrn2-1-2, Kasumigaseki, Chiyoda-ku, Tokyo, 100-8918 JapanrnPhone: +81-3-5253-8816 Fax: +81-3-5253-1678 mochiduki-t2if@mlit.go.jp;
Road Transport Department, Chubu District Transport Bureau,rnMinistry of Land Infrastr;
机译:我的代码如何验证(或测试)?伪造驱动的验证和测试
机译:先进的Ada验证技术:将测试和验证与GNATTest和GNATProve相结合-Hi-Lite项目
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:名古屋新型交通信号控制方法的验证试验
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:优化撒哈拉以南非洲地区的艾滋病毒检测服务:通过艾滋病毒自我检测和分流检测进行验证检测的成本和性能
机译:日本名古屋地区嗅觉功能试验的嗅觉鉴定试验的有用性和限制