...
机译:用于测试不确定性客户端/服务器数据库应用程序的技术
Dept. of Inf. & Comput. Educ., Nat. Taiwan Normal Univ., Taipei, Taiwan;
client-server systems; distributed databases; formal verification; program testing; reachability analysis; parallel programming; client-server database; database transaction event; T-events; transaction sequence; T-sequence; reachability testing; database management system; concurrent programming;
机译:用于测试不确定性客户端/服务器数据库应用程序的技术
机译:测试非匹配客户端/服务器数据库应用程序的技术
机译:测试非匹配客户端/服务器数据库应用程序的技术
机译:非确定性客户端服务器数据库应用程序的测试
机译:探索客户端-服务器系统技术,确定基本工具集和实现客户端-服务器应用程序
机译:管理属性-使用ACT / DB评估临床试验数据的价值 客户端-服务器数据库系统
机译:用于测试非确定性客户端/服务器数据库应用程序的技术