文献

J-GLOBAL ID：200902190808494154   整理番号：98A0437344

高保証システムのための統合手法に向けて

Toward Integrated Methods for High-Assurance Systems.

著者 (3件)： YEN I-L (Univ. Texas at Dallas) ,  PAUL R (Dep. Defense) ,  MORI K (Tokyo Inst. Technol.)
資料名： Computer  (Computer)
巻： 31  号： 4  ページ： 32-34  発行年： 1998年04月 
JST資料番号： B0794A  ISSN： 0018-9162  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本Computer誌の高保証(high-assurance)...

シソーラス用語： 計算機システム ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=98A0437344&from=J-GLOBAL&jstjournalNo=B0794A") }}

分類 (1件)： その他のディジタル計算機方式  (JC02050G)

タイトルに関連する用語 (3件)： 保証 ,  統合 ,  手法