2016年6月30日（木）国立情報学研究所において
『第1回 ソフトウェア工学勉強会』が開催されました。
本勉強会において、
「恊働ロボットCOROの開発における形式的仕様の適応事例」という題目で弊社社員が発表しました。
発表資料はこちらになります。
http://www.slideshare.net/liferobotics/coro-63631016
ニュース＆トピックス
ニュース＆トピックス
2016年6月30日（木）国立情報学研究所において
『第1回 ソフトウェア工学勉強会』が開催されました。
本勉強会において、
「恊働ロボットCOROの開発における形式的仕様の適応事例」という題目で弊社社員が発表しました。
発表資料はこちらになります。
http://www.slideshare.net/liferobotics/coro-63631016
