文献

J-GLOBAL ID：200902298474888500   整理番号：05A0876169

センサーのモデル化とモデル検査技術の適用について

Modeling Sensors and Applying Model Checking Techniques to them

著者 (4件)： 青木利晃 (北陸先端科学技術大学院大) ,  青木利晃 (JST-PRESTO) ,  岸知二 (北陸先端科学技術大学院大) ,  片山卓也 (北陸先端科学技術大学院大)
資料名： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
巻： 2004  号： 10  ページ： 118-125  発行年： 2004年10月14日 
JST資料番号： Y0978B  ISSN： 1344-0640  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 近年,組込みシステムの大規模化に伴い,実装より抽象的な視点,...

シソーラス用語： *モデル検査 ,...
準シソーラス用語： 抽象化

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

分類 (2件)： 計算理論  (JB02000A) ,  計測機器一般  (AD02000X)

タイトルに関連する用語 (3件)： センサー ,  モデル化 ,  モデル検査技術