Honeywell Inc.- Air Transport Systems Box 21111 Phoenix, Az, 85036-1111;
Honeywell Technology Center 3660 Technology Drive Minneapolis, MN, 55418;
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:验证嵌入在反应系统中的微计算机程序规范
机译:会话协议:用于规范和验证反应式电子服务的形式主义
机译:用于规范操作嵌入式反应系统的规范化在飞机制导/导航系统中
机译:由规范驱动的可编程嵌入式系统验证。
机译:AeroRing的规格和性能指标—用于航空电子嵌入式系统的多环以太网
机译:使用时间受限的反应自动机对实时嵌入式系统进行规范和验证
机译:嵌入式系统需求规范的操作方法