Abstract: The development of safety-critical aerospace systems is traditionally dominated by the C language. Its language characteristics make it trivial to accidentally introduce memory safety issues ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results