OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述

Bibliographic Information

Other Title
  • OTS/CafeOBJホウ ニ ヨル マルチタスク ジツジカン システム ノ シヨウ キジュツ
  • Specification description of real-time multitask systems by the OTS/CafeOBJ method
  • システム数理と応用
  • システム スウリ ト オウヨウ

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top