- 詳細 2017年10月7日 01:10更新
-
形式手法、FormalMethodsってなにさ、
という人のためのコミュニティ。
形式手法が気になる方、一緒に勉強しましょう。
主に扱いたい話題としては以下のところ。
１．手法自体について(Z,VDM,SPIN)
２．書籍について
３．ツールについて
４．セミナーレポート
形式手法、FormalMethodsってなにさ、
という人のためのコミュニティ。
形式手法が気になる方、一緒に勉強しましょう。
主に扱いたい話題としては以下のところ。
１．手法自体について(Z,VDM,SPIN)
２．書籍について
３．ツールについて
４．セミナーレポート
