Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Name: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Brand: Springer
SKU: 8da519d68d7e9c99cc6773459b36c2b7

1/1

Prices from

84.32

Featured

Description

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Compare webshops (2)

Shop

Price

£ 84.32

To Shop

£ 84.32

To Shop

Description (0)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Brand	Springer
EAN	9783319470146

Springer

Formal Verification of Floating Point Hardware Design: A Mathematical Approach

CRC Press

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

The MISRA Consortium Limited

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

Springer

Verification and Control of Hybrid Systems: A Symbolic Approach