CSA ISO/IEC TR 24718-2006 信息技术 - 编程语言 - 指南有关的阿达雷文斯卡配置文件中使用在高完整性系统
CSA ISO/IEC TR 24718-2006 标准详情
- 标准号：CSA ISO/IEC TR 24718-2006
- 中文标题：信息技术 - 编程语言 - 指南有关的阿达雷文斯卡配置文件中使用在高完整性系统
- 英文标题：Information Technology - Programming Languages - Guide For The Use Of The Ada Ravenscar Profile In High Integrity Systems
- 标准类别：加拿大CSA
- 发布日期：
内容简介
Gives a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。仅供个人标准化学习，研究使用。如有侵权，请及时联系我们！
