OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証

Bibliographic Information

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

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top