E-commerce; Model checking; Secure transactions;
机译:使用符号模型检查自动支持分布式环境中的安全交易验证
机译:使用符号模型检查自动验证批处理过程的运行计划:闩锁模型与实时
机译:使用符号模型检查自动验证容错能力
机译:使用符号模型检查自动支持在分布式环境中验证安全交易
机译:用于分布式环境中基于BDD的计划的符号模型检查技术。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:使用符号模型检查自动支持分布式环境中的安全交易验证
机译:检验点和恢复策略支持的交易系统的马尔可夫模型。第2部分:检查点之间具有指定事务数的aa模型