|
|
|
| センター長挨拶｜Policy Statement｜研究テーマ｜研究活動｜研究成果｜Technical Reports｜書籍｜共同研究｜集会支援｜English |
| 研修コース・ニュースレター・CVS Staff・アクセス ・採用情報・お問い合わせ・更新履歴・プレスリリース・カレンダー ・HOME |
 |
 リンク集 |
|
||
| 03月31日 | 平成１６年４月より６年間の計画でスタートしました当研究センターは、最終年度の平成２２年３月末日をもって終了いたしました。 当研究センターは数理的手法（形式手法を含む）が情報処理システムにおける生産性および信頼性向上に有効であることを説得し、この手法を社会に定着させることを目的に設置され、研究活動を「科学研究」と「フィールドワーク」の両面から進めて参りました。 これまでご支援いただきました皆様には心より御礼申し上げます。 なお平成２２年４月以降は、関西産学官連携センター 組込みシステム技術連携研究体(連携検証施設:さつき)にてこの方向の研究活動を続ける予定です。 |
||
|
| |||
| ▼BackNumber | |||
