Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

机译：消费者Web导航行为模型：概念开发和应用

机译：消费者Web导航行为模型：概念开发和应用

机译：通过分析用户行为为Web应用程序配置有效的导航模型和抽象测试用例

机译：通过模型检查和导航状态机的运行时执行来消除Web应用程序中的导航错误

机译：模型检查：纠正具有浏览器行为的网页导航。

机译：仿真降低了脑血管造影训练中的导航误差

机译：遗留Web应用程序导航关注的模型驱动

机译：应用于惯性导航，分离复杂系统模型中的误差，

机译：机器视觉系统的装置和方法，包括建立点云模型和/或三维模型，该模型基于不同角度的多个图像并结合了来自摄像机运动和深度的深度信息以及包含导航系统的各种应用程序，包括导航系统估计深度模糊或自动对焦应用中使用的图像之间的相对模糊

机译：用于Web应用分析的导航模型的获取方法，存储介质，装置和系统

机译：提取导航模型以进行Web应用程序分析的方法和系统