The Inverse Method: Parametric Verification of Real-time Unbedded Systems - Etienne Andre - 書籍 - ISTE Ltd and John Wiley & Sons Inc - 9781848214477 - 2013年3月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Etienne Andre
The Inverse Method: Parametric Verification of Real-time Unbedded Systems

価格
¥ 27.237
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月14日 - 2026年1月27日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

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年3月4日
ISBN13 9781848214477
出版社 ISTE Ltd and John Wiley & Sons Inc
ページ数 176
寸法 160 × 241 × 20 mm   ·   430 g
言語 英語  

Etienne Andreの他の作品を見る

すべて表示

Etienne Andreのすべてを見る ( 例： Hardcover Book および Paperback Book )