ディペンダブル・システムのための形式手法の実践ポータル

ClearSy、ガルダンヌの鉱業学校で形式手法のコースを開催

情報源

http://www.clearsy.com/news-en/news/

発表日

2009年10月28日

実施時期

2010年1月

実施者等

ClearSy、Ecole des Mines of Gardanne（ガルダンヌの鉱業学校）

概要

ClearSyは、2010年1月にガルダンヌの鉱業学校で形式手法を教える。この18時間のコースでは、B Methodを重点的に扱う。

このページの先頭へ戻る