Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Autor Naijun Zhan et al. 14 noi 2016 Hardback Preț: 703.42 lei 857.83 lei 43-57 zile -18%