Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
  • 洋書
  • ポイントキャンペーン

Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach  Paperback,  言語:ENG

Zhan, Naijun/ Wang, Shuling/ Zhao, Hengjun

  • ウェブストア価格 ¥28,369(本体¥25,790)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 1,285pt
  • 海外取次在庫