sdl论文

嵌入式操作系统 Vxworks 上的形式描述语言 (SDL) 软件开发
一、形式化描述语言(SDL)在嵌入式操作系统Vxworks上的软件开发（论文文献综述）谭莉娟,郑巍,刘友林,樊鑫,杨丰玉[1]（2021）在《面向适航标准的机载软件测试验证方法...