Reduced price! View larger

CAN/CSA-ISO/IEC TR 24718-06(R2016)

New product

CAN/CSA-ISO/IEC TR 24718-06(R2016)

Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)

More details




More info

1 Scope
This Technical Report provides 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.