今城 広志 | 大阪大学基礎工学部情報工学科
スポンサーリンク
概要
関連著者
-
岡野 浩三
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
今城 広志
大阪大学基礎工学部情報工学科
-
谷口 健一
大阪大学基礎工学部情報工学科
-
伊東 達雄
大阪大学基礎工学部情報工学科
-
松浦 敏雄
大阪大学基礎工学部情報工学科
-
尹 達雄
大阪大学基礎工学部情報工学科
著作論文
- グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行
- リンクの故障を考慮に入れた分散システムの動作仕様の自動導出
- 協調計算システムの動作仕様群の分散実行系
- 拡張有限状態機械で記述された協調計算プログラムとその実行系
- 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出