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