Thales has developed and verified a qualified autocode generator for critical airborne software. To do it, the company used AdaCore’s GNAT Pro Ada environment. The development process for the autocode ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback