Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Bog, Paperback / softback, Engelsk) af Naijun Zhan
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Elektronik: kredse og komponenter
  5. Dataarkitektur og logisk design
  6. Formal Verification of Simulink/Stateflow Diagrams: A...

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

(Bog, Paperback / softback, Engelsk)
Forfattere: Naijun Zhan, Shuling Wang, Hengjun Zhao
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Dataarkitektur og logisk design Elektronik: kredse og komponenter
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Naijun Zhan, Shuling Wang, Hengjun Zhao
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2017
Udgivelsesdato 29-06-2018
Første udgivelsesår 2018
Illustrationer 60 Illustrations, color; 14 Illustrations, black and white; XV, 258 p. 74 illus., 60 illus. in color.
Originalsprog Switzerland
Sideantal 258
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 258 pages, 60 Illustrations, color; 14 Illustrations, black and white; XV, 258 p. 74 illus., 60 illu
Mål 235 x 155
ISBN-13 / EAN-13 9783319836386