Jung Chan | Dep. Of Chemical Engineering Hanyang Univ.
スポンサーリンク
概要
論文 | ランダム
- 正常シナリオからの代替・例外シナリオ作成支援
- 実行環境の変化に即応する圧縮型ガーベッジコレクション
- 抽象化と精密化による実時間モデル検査の改善
- セキュリティプロトコルの略式記法からspi計算への変換
- メイルハンドラの組込みとユーザインターフェースの改善によるコミュニケーション支援の試み : 計算機シミュレータの遠隔教育への試行とその機能評価に関する考察(音声とコミュニケーション及び一般)