ISO/IEC TR 24718-2005 信息技术.程序设计语言.高集成系统中Ada Ravenscar Profile的使用指南
ISO/IEC TR 24718-2005 标准详情
- 标准号：ISO/IEC TR 24718-2005
- 中文标题：信息技术.程序设计语言.高集成系统中Ada Ravenscar Profile的使用指南
- 英文标题：Information technology - Programming languages - Guide for the use of the Ada Ravenscar Profile in high integrity systems
- 标准类别：国际标准化组织标准ISO
- 发布日期：2005-02
内容简介
ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to mee
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。仅供个人标准化学习，研究使用。如有侵权，请及时联系我们！
