Department of Electronics and Computer Science University of Southampton, Highfield Southampton SO17 1BJ, United-Kingdom;
heterogeneous specification; modularity; verification; test generation; case tools;
机译:X机通信:大型系统的正式和模块化规范的实用方法
机译:具有全局规范语言的模块化系统的监督控制
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:电动飞行控制系统规范和验证的模块化方法
机译:基于分析冗余的容错飞行控制系统的要求的正式规范。
机译:通过基于风险的生命周期方法来配置使用和验证模块化良好制造规范的无关联脐带血库电子系统的产销监管链和身份链
机译:将基于UML的形式规范,验证和验证应用于太空飞行控制系统和防御软件
机译:模块化模拟器系统(mss)。通用模块化模拟器系统的系统/段规范 - 飞行控制模块。第3卷。