...
机译:经验报告:使用Objective Caml在认证框架中开发安全关键的嵌入式工具
Reliability; Experimentation; Measurement; Verification; safety critical; DO-178B; Objective Caml; SCADE SUITE 6 (TM) code generator;
机译:经验报告:使用Objective Caml在认证框架中开发安全关键的嵌入式工具
机译:朝着同步语言信号的简单安全的客观CAML编译框架
机译:角色扮演模拟作为医疗保健人员的教育工具:开发嵌入式评估框架
机译:经验报告:使用客观CAML在认证框架中开发安全嵌入式工具
机译:开发概念框架和应用程序原型以“草图”交互式报告工具
机译:开发患者报告的心理保健质量经验衡量的概念框架:对法国优质项目的定性研究
机译:混合.Net中的Objective Caml和C#编程模型 骨架