关注微信公众号查券更方便
【4周达】Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach [9783319836386]