文献
J-GLOBAL ID：201002097103932684   整理番号：79A0019136

高信頼性プログラムの独立した検証

Independent verification of highly reliable programs.
著者 (1件)：
FUJII M S

FUJII M S について


資料名：
IEEE Comput Soc Int Comput Software Appl Conf  (COMPSAC 77)

IEEE Comput Soc Int Comput Software Appl Conf について


巻： 1st  ページ： 38-44  発行年： 1977年 
JST資料番号： K19770112  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
開発グループから独立した組織による検証の立場から,そのプロセ...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
計算機システム開発

計算機システム開発 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=79A0019136&from=J-GLOBAL&jstjournalNo=K19770112") }}
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
高信頼性

高信頼性 について

, 
検証

検証 について


前のページに戻る

TOP

BOTTOM