著者の関連する活動
- 著者のWebサイト
- 【TOPSE】国立情報学研究所 トップエスイー プロジェクト（産業界向け1年教育コース）
- トップエスイー教育センター（NPO法人，産業界向け短期セミナー・チュートリアル）
- ディペンダブル・システムのための形式手法の実践ポータル
VDMとそのツールに関する情報
- FMVDM（VDMToolsなどに関するWebサイト）
- Welcome to the Overture tool project | Overture（Eclipseベースのオープンソースツール，OvertureプロジェクトのWebサイト）
- VDM Portal（総合的なWiki）
© Fuyuki Ishikawa, National Institute of Informatics, Japan, 2011-