机译:基于SDL / C规格的硬件软件系统代码。
机译:Sdl2pml-用于根据SDL规范自动生成Promela模型的工具
机译:SDL-2000的正式定义-将SDL规范编译和运行为ASM模型
机译:AvioNics中的CodeSign编写ActivityCharts / StateCharts,SDL和SAO规范
机译:从定时MSC自动生成SDL规范。
机译:AeroRing的规格和性能指标—用于航空电子嵌入式系统的多环以太网
机译:将SDL规范基础知识映射到核心SDL本体
机译:aDa航空电子实时系统模型:实时系统开发中硬件/软件协同设计方法的优势示例