Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Formale Überprüfung von Simulink/Stateflow-Diagrammen: Ein deduktiver Ansatz

Ø 0.0
0 Bewertungen
135,65 €

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: