鳥羽 景介 | 国立研究開発法人 森林研究・整備機構 森林総合研究所

スポンサーリンク

概要

• 鳥羽 景介の詳細を見る
• 同名の論文著者
• 国立研究開発法人 森林研究・整備機構 森林総合研究所の論文著者

論文 | ランダム

• B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
• SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
• 実行履歴に基づくアクセス制御付きプログラムのモデル検査
• UML/OCLに記述された時間QoSの階層的検証手法の提案
• 制約オートマトンを用いたソフトウェア・デザインの記述法

もっと見る

スポンサーリンク