この商品を友人に教える:
The Inverse Method: Parametric Verification of Real-time Unbedded Systems Etienne Andre
価格
¥ 27.690
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月8日 - 年9月24日
Etienne Andre の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
Etienne Andre
This practical guide arms scientists, researchers, and industrial engineers with state-of-the-art verification techniques for real time embedded systems based on the inverse method for parametric timed automata. The authors begin with an introduction to the inverse method, demonstrating how to use it to guarantee robustness in real-time systems.
176 pages, Illustrations
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2013年1月16日 |
| ISBN13 | 9781848214477 |
| 出版社 | ISTE Ltd and John Wiley & Sons Inc |
| ページ数 | 176 |
| 寸法 | 160 × 241 × 20 mm · 430 g |
| 言語 | 英語 |
