崔銀惠

チェウンヘ | CHOI Eun-Hye

所属機関・部署：
ホームページURL (1件)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=U96216468

研究分野 (1件)：ソフトウェア

研究キーワード (3件)：ソフトウェア形式検証技術 , データベース並行制御技術 , 耐故障分散アルゴリズム

競争的資金等の研究課題 (3件)：

MISC (10件)：

Formal Modeling and Verification of Management on a Group of Network Security Appliances. 「算譜科学研究速報」 (Programming Science Technical Report). 2006. 7,1-16
Formal Modeling and Verification of Management on a Group of Network Security Appliances. Proceedings of The 7th International Workshop on Information Security Applications. 2006. 533-541
Model Checking Active Database Rules. 「算譜科学研究速報」 (Programming Science Technical Report). 2006. 1,1-18
Efficiency Analysis of Model-based Review in Actual Software Design. Proc. of the International Conference on Software Engineering. 2006. 604,-607
Efficiency Analysis of Model-based Review in Actual Software Design. 「算譜科学研究速報」 (Programming Science Technical Report). 2005. 18,1-10

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

崔 銀惠