Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Prices from
84.32

Featured

COMPARE ALL WEBSHOPS (1)

Description

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (1)

Sort by:

£ 84.32

Description (0)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Product specifications

Brand Springer
EAN
  • 9783319470146

Springer

Formal Verification of Floating Point Hardware Design: A Mathematical Approach

£ 80.67
More Information More Info

CRC Press

Digital Integrated Circuits: Design-for-Test Using Simulink and Stateflow

£ 101.39
More Information More Info

The MISRA Consortium Limited

MISRA AC SLSF:2023: Modelling design and style guidelines for the application of Simulink Stateflow

£ 30.00
More Information More Info

Springer

Verification and Control of Hybrid Systems: A Symbolic Approach

£ 96.26
More Information More Info
Featured Choice
£ 84.32
To Shop