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