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.28

Featured

	£ 84.28	To Shop
	£ 84.28	To Shop

Description

Amazon Pages: 273, Edition: 1st ed. 2017, Hardcover, Springer

Compare webshops (2)

Shop

Price

£ 84.28

To Shop

£ 84.28

To Shop

Description (1)

Pages: 273, Edition: 1st ed. 2017, Hardcover, Springer

Brand	Springer
EAN	9783319470146

Prices were last updated on: 15-06-2026, 14:59

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

Formal Verification of Circuits

Featured Choice

£ 84.28

To Shop