Rchr
J-GLOBAL ID：200901003575332690   Update date: Jul. 23, 2022

CHOI Eun-Hye

チェ ウンヘ | CHOI Eun-Hye
Affiliation and department：
National Institute of Advanced Industrial Science and Technology

About National Institute of Advanced Industrial Science and Technology


Homepage URL  (1)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=U96216468
Research field  (1)： Software
Research keywords  (3)： ソフトウェア形式検証技術 ,  データベース並行制御技術 ,  耐故障分散アルゴリズム
Research theme for competitive and other funds  (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
ｍore...
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM