文献

J-GLOBAL ID：200902178259911660   整理番号：94A0165851

クリティカルシステムでの形式的方法を用いた経験

Experience with Formal Methods in Critical Systems.

著者 (3件)： GERHART S (Univ. Houston at Clear Lake) ,  CRAIGEN D (ORA Canada) ,  RALSTON T (Ralston Research Assoc.)
資料名： IEEE Software  (IEEE Software)
巻： 11  号： 1  ページ： 21-28  発行年： 1994年01月 
JST資料番号： A0714B  ISSN： 0740-7459  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本来的に危険を内蔵せざるを得ないアプリケーションというものが...

シソーラス用語： 計算機システム ,...
準シソーラス用語： セーフティ・クリティカルシステム ,...

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

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： 形式的方法 ,  経験