Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Naij
139,58 €
1 Introduction. - 2 Preliminaries. - 3 Unifying Theories of Programming. - 4 Simulink. - 5 Stateflow and Its Combination with Simulink. - 6 Hybrid CSP. - 7 Hybrid Hoare Logic. - 8 The HHL Prover.
Jetzt bei Ebay:
