机译:分布式系统的模块化软件模型检查
Department of Mathematics and Informatics, Faculty of Science, Chiba University, 1-3-3 Yayoicho, Inage Ward, Chiba, Japan|c|;
Software model checking; checkpointing; distributed systems; software verification;
机译:高效的模块化玻璃箱软件模型检查
机译:用于模块化软件模型检查的接口语法
机译:基于UDP的分布式应用程序的软件模型检查
机译:异步分布式系统的模块化结构无阻塞原子承诺协议模型检查
机译:分布式系统软件模型检查的算法,启发式和系统方法
机译:十三。医院信息系统:F.医院信息系统的战略规划:模块化分布式医院信息系统(HIS)的论点
机译:分布式系统的模块化软件模型检查