Research Center for Information Security (RCIS), National Inst. of Advanced Industrial Science and Technology (AIST), Tokyo, Japan;
Computer Systems Institute, ETH Zurich, Switzerland;
Johannes Kepler University, Linz, Austria;
National Institute of Info;
software model checking; network communication; software testing;
机译:基于模型的变异测试的符号输入-输出一致性检查
机译:使用模型检查的输入/输出离散事件系统的可诊断性分析
机译:使用模型检查的输入/输出离散事件系统的可诊断性分析
机译:使用输入/输出的应用的高效模型检查
机译:供应和输出侧对不可操作性输入输出模型(IIM)的扩展,并应用于道路运输系统的相互依赖性
机译:逻辑模型基于二进制输入预测连续输出并应用于个性化癌症治疗
机译:具有输入/输出的应用程序的有效模型检查