机译:ada编译器验证摘要报告:证书编号901119I1.11111 siemensNixdorf。西门子Nixdorf Bs2000 ada编译器V2.1,西门子Nixdorf 7.590G / Bs2000 V9.5主机和目标
Ada programming language; Compilers; Standardization; Test and evaluation; Testmethods;
机译:十年基于工具的Ada编译器验证经验报告
机译:ada编译器验证摘要报告:证书编号:890306I1.10059 siemens aG。 siemens aG,siemens Bs2000 ada Compiler V2.0,siemens 7.590G Host and Target