講演・口頭発表等

2000年

代数仕様言語CafeOBJによる実時間システムの仕様記述と検証 - tmed two-process race の仕様記述と検証 -

電子情報通信学会ソフトウェアサイエンス研究会（１月研究集会）
  • 清野貴博
    • ,
  • 緒方和博
    • ,
  • 二木厚吉
講演・口頭発表等リストへ