講演・口頭発表等

2018年3月

VDMの仕様記述言語を導入した状態遷移図とそのテスト基準の提案

情報処理学会第80回全国大会
  • 高木智彦
  • ,
  • 赤木章紀