目崎 令司 | ウィスコンシン大学工学部化学工学科

スポンサーリンク

概要

• 目崎 令司の詳細を見る
• 同名の論文著者
• ウィスコンシン大学工学部化学工学科の論文著者

論文 | ランダム

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

もっと見る

スポンサーリンク