何 克清 | 武漢大学ソフトウェア工学国家重点研究実験室
スポンサーリンク
概要
関連著者
-
宮本 衛市
北海道大学システム情報工学研究科
-
何 克清
武漢大学ソフトウェア工学国家重点研究実験室
-
宮本 衛市
北海道大学
-
渡辺 慎哉
福島県立医科大学TRセンター臨床ゲノム
-
渡辺 慎哉
北海道大学大学院工学研究科
著作論文
- 並行オブジェクト群による協調動作に対する型の定義
- 並列オブジェクトシステムのモデル化と設計法
- 型に基づく複合オブジェクトの振舞いの解析
- プロトタイピングのためのオペレーショナルモデルOPM
- ソフトウェアプロセスの基本制御構造