講演・口頭発表等

1999年11月

代数仕様言語CafeOBJによる鉄道信号システムの記述と検証

FOSE '99
  • 清野貴博
    • ,
  • 緒方和博
    • ,
  • 二木厚吉
講演・口頭発表等リストへ