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.
1 Scope
This part of ISO 5841 specifies a connector assembly to be used to
connect implantable pacemaker leads to implantable pacemaker pulse generators. Essential dimensions and performance requirements related to connector fit are specified, togethe