Rchr
J-GLOBAL ID:200901098495393753
Update date: Aug. 18, 2022
Mizuguchi Daichi
ミズグチ ダイチ | Mizuguchi Daichi
Affiliation and department:
National Institute of Advanced Industrial Science and Technology
About National Institute of Advanced Industrial Science and Technology
Search "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=D50666533
MISC (5):
モデル検査技術適用事例研究会の報告. 第5回クリティカルソフトウェアワークショップ(WOCS). 2005. 189-191
組み込みソフトウェア開発におけるモデル検査の適用事例. 算譜科学研究速報. 2005. AIST-PS-05-001. 1-15
MIZUGUCHI Daichi, WATANABE Hiroshi, Daichi Mizuguchi, Hiroshi Watanabe, National Institute of Advanced Industrial Science and Technology (AIST) Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST) Research Center for Verification and Semantics (CVS). A Case Study of Applying Model Checking to Embedded Software Development. Computer Software. 2005. 22. 1. 77-90
組み込みソフトウェア開発におけるモデル検査の適用に向けて. クリティカルソフトウェアワークショップ2004予稿集. 2004. 57-60
組込みソフトウェア開発のイン-デザイン モデル検査 -設計工程における仕様書のモデル検査の提案-. 産業技術総合研究所算譜科学グループ速報. 2004
※ 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