机译:规范和验证交互式系统中任务管理的正式方法
机译:规范和验证可信赖的基于组件的系统的正式方法
机译:从任务模型自动生成规范属性,以进行人与自动化交互的形式验证
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:交互系统规格的正式验证和确认
机译:正式规范和验证可靠的分布式协议的模块化方法。
机译:一种人机交互系统的形式化验证方法
机译:1实时系统任务时间约束的形式规范和验证⋆
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术