2016-01-01から1年間の記事一覧
これはFormal Method Advent Calendar 2016の25日目の記事です。今年6月、国立情報学研究所で「恊働ロボットCOROの開発における形式的仕様の適用事例」というタイトルで形式手法の適用事例について発表しました。資料はこちらです。http://www.slideshare.ne…
これはFormal Method Advent Calendar 2016の25日目の記事です。今年6月、国立情報学研究所で「恊働ロボットCOROの開発における形式的仕様の適用事例」というタイトルで形式手法の適用事例について発表しました。資料はこちらです。http://www.slideshare.ne…