文献

J-GLOBAL ID：200902290356125916   整理番号：07A0307381

形式的手法最前線-拠点の活動とねらい

Cutting-edge of Formal Methods-Activities and Aims of their Strongholds

著者 (5件)： 青木利晃 (北陸先端科学技術大学院大) ,  荒木啓二郎 (九大) ,  片山卓也 (北陸先端科学技術大学院大) ,  木下佳樹 (産業技術総合研) ,  中島震 (国立情報学研)
資料名： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
巻： 2006  号： 9  ページ： 158-159  発行年： 2006年10月19日 
JST資料番号： Y0978B  ISSN： 1344-0640  資料種別： 会議録 (C)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 最近,組込みソフトウェアの分野で形式的手法が注目を集めている...

シソーラス用語： *形式的手法【計算機】 ,...
準シソーラス用語： パネル討論

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

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 形式的手法 ,  拠点 ,  活動