safety critical; DO-178B; Objective Caml; SCADE SUITE 6~(TM) code generator;
机译:经验报告:使用Objective Caml在认证框架中开发安全关键的嵌入式工具
机译:为同步语言SIGNAL建立一个简单,安全的Objective Caml编译框架
机译:朝着同步语言信号的简单安全的客观CAML编译框架
机译:经验报告:使用客观CAML在认证框架中开发安全嵌入式工具
机译:专业认证和信息技术工作经验对自我报告工作绩效的贡献
机译:麻醉学应用认证考试的模拟目标结构临床考试的开发:两年的经验来自考试候选人的反馈
机译:从第一年到最后一年的经验:在整体课程框架中嵌入反思工作综合学习。实践报告
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划