2005 年度終了報告書

刺激応答型実時間システムの自動検証技術:安全性・信頼性技術の開発

研究課題

戦略的な研究開発の推進戦略的創造研究推進事業さきがけ

PDF

体系的番号	JPMJPR02P3
DOI	https://doi.org/10.52926/JPMJPR02P3
研究代表者	大崎人士産業技術総合研究所, 情報処理研究部門, 研究員
研究期間 (年度)	2002 – 2005
研究領域	機能と構成