机译:验证摘要报告:TLD系统有限公司,TLD sun-4 / mIL-sTD-1750a ada编译器系统,版本2.9.0,sun-4/75,sunOs,版本4.1.1(主机),霍尼韦尔计划开发部门(目标)。
Ada programming language; Compilers; Computer programming; Real time; Spaceborne; Validation summary reports; ANSI/MIL-STD-1815A; Computer program verification; Standards;
机译:高等教育系统与产业创新:1998年1月至2001年5月31日:合同号SOE 1-1054的最终报告(简短版)-项目1297号项目,由有针对性的社会经济研究(TSER)计划-总科学理事资助,研究与发展-欧洲委员会F理事会