投稿日: 2016/11/09 10:01:44
中村が The 5th IEEE Global Conference on Consumer Electronics (GCCE 2016)(10月11-14日)で代数仕様からのテスト生成に関する研究成果を発表してきました.