Formal verification; Labelled transition systems; Tree automata; Reverse engineering;
机译:网站分类:电子商务检测情况下的正式方法和鲁棒性分析
机译:维护,员工管理和协作对电子政务网站可用性的影响建模:一种定性的系统动力学方法
机译:维护,员工管理和协作对电子政务网站可用性的影响建模:一种定性的系统动力学方法
机译:网站维护的正式方法
机译:美国官方州旅游网站与在线旅行社网站之间的关系维护策略比较分析
机译:研究正式青年指导计划的制定实施和维护的更广泛背景:与英国的指导经理和专家进行的定性研究
机译:网站维护的正式方法
机译:信息保护技术的形式化方法任务1:基于形式语法的方法和模拟计算机网络攻击工具第二部分