Hengjun Zhao – författare
Visar alla böcker från författaren Hengjun Zhao. Handla med fri frakt och snabb leverans.
3 produkter
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Inbunden, 2016
1261 kr
Lägg i varukorg
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. …
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Hengjun Zhao, Shuling Wang m. fl.
E-bok, 2016
1622 kr
Lägg i varukorg
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. …
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Häftad, 2018
1261 kr
Lägg i varukorg
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. …
