金指 文明 | 静岡大学大学院理工学研究科
スポンサーリンク
概要
関連著者
-
富樫 敦
宮城大学事業構想学部
-
金指 文明
(有)カラビナシステムズ
-
金指 文明
静岡大学大学院理工学研究科
-
富樫 敦
静岡大学情報学部
-
富樫 敦
静岡大学大学院理工学研究科
-
塚崎 悟
静岡大学情報学部情報科学科
-
陸 暁松
静岡大学大学院理工学研究科
-
石井 基樹
静岡大学大学院理工学研究科
-
山田 将弘
静岡大学大学院理工学研究科
-
塚崎 悟
静岡大学大学院理工学研究科
著作論文
- π計算に対する視覚化システム
- 効果的なソフトウェア開発のためのシステムシミュレータ
- M-pi計算 : モジュール記述を持つ計算体系
- システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
- π計算に対する様相証明システム
- システム要求からの形式仕様の導出方法(マルチメディア通信と分散処理)
- π計算に対する証明システム