Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs

CiNii 所蔵館 1館

書誌事項

タイトル
"Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs"
責任表示
Vladimir Herdt ; with a preface by Rolf Drechsler
出版者
  • Springer
出版年月
  • c2016
書籍サイズ
21 cm
シリーズ名/番号
  • : pbk

この図書・雑誌をさがす

注記

Bibliography: p. 157-162

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ