Modeling, verification and exploration of task-level concurrency in real-time embedded systems

著者

• Thoen, Flip
• Catthoor, Francky

書誌事項

Modeling, verification and exploration of task-level concurrency in real-time embedded systems

edited by Flip Thoen and Francky Catthoor

Kluwer Academic Publishers, 2000

注記

Includes bibliographical references (p. 413-433) and index

詳細情報

• NII書誌ID(NCID): BA45015059
• ISBN:
  • 0792377370
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston
• ページ数/冊数: xv, 438 p.
• 大きさ: 25 cm