文献

J-GLOBAL ID：200902210898115204   整理番号：08A0301352

モデル検査によるリアルタイムオペレーティングシステムの検証実験

著者 (1件)： 青木利晃 (北陸先端科学技術大学院大 安心電子社会研究セ)
資料名： 情報処理学会全国大会講演論文集
巻： 70th  号： 5  ページ： 5.317-5.318  発行年： 2008年03月13日 
JST資料番号： S0731A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *モデル検査 ,  *オペレーティングシステム ,  *実時間処理 ,  インフラストラクチャー ,  信頼性 ,  実装設計 ,  TRON ,  支援プログラム ,  ITRON ,  *リアルタイムOS
準シソーラス用語： RTOS ,  ソフトウェアツール ,  *リアルタイムオペレーティングシステム

分類 (2件)： 計算理論  (JB02000A) ,  オペレーティングシステム  (JD03020J)

引用文献 (1件)：

• 青木利晃. RTOSに基づいたソフトウェアのためのモデル検査ライブラリ. 組込みソフトウェアシンポジウム2005. 2005, 56-63

タイトルに関連する用語 (3件)： モデル検査 ,  リアルタイムオペレーティングシステム ,  検証実験