机译:ada编译器验证摘要报告:证书编号:910711W1.11186 GsEGesellschaft fuer软件工程mbH meridian ada,版本4.1 Concurrent Computer Corp. m6000 => Concurrent Computer Corp. m6000型号6450,RTU 5.0C,型号6450,RTU 5.0
Ada programming language; Requirements; Standardization; Test and evaluation;