2004 年度終了報告書

オブジェクト指向分析モデルの形式的構築法と検証法

研究課題

体系的番号	JPMJPR01P1
DOI	https://doi.org/10.52926/JPMJPR01P1
研究代表者	青木利晃北陸先端科学技術大学院大学, 情報科学研究科, 助手
研究期間 (年度)	2001 – 2004
研究領域	機能と構成