Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319470160
Condition
New
Product Description

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. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Available Colors
Available Sizes
1 Offer Price Range: $99.00 - $99.00
BEST PRICE

Single Product Purchase

$99.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$99.00 $99.00

$99.00
See Site In stock Visit Store

Similar Products

Industrial Engineering and Operations Management

$169.00

Wrmebergang und Blasenbildung beim Behltersieden

$84.99

Britain and Ireland in the Eighteenth-Century Crisis of Empire

$54.99

The Immunoglobulin Receptors and their Physiological and Pathological Roles in Immunity

$169.00

Left Atrial Appendage Closure

$159.99

Religiser Wandel als Skularisierungsfolge

$59.99

Population and Sustainable Development in India

$39.99

Armee im Umbruch

$64.99

Delivery Bear

$4.46

The Behavioral Neuroscience of Drug Discrimination

$109.99

Job Scheduling Strategies for Parallel Processing

$54.99

Das Gueisen Seine Herstellung, Zusammensetzung, Eigenschaften und Verwendung

$59.99

Phillis Wheatley's Miltonic Poetics

$54.99

Productivity Analysis at the Organizational Level

$39.99

Horace and Housman

$39.99

Malting and Brewing Science: Hopped Wort and Beer, Volume 2

$299.99

Politische Betrachtungen ber die alte und die italienische Geschichte

$44.99

Anarchismus

$59.99

Hochfrequenzmetechnik

$84.99

Identity and Theatre Translation in Hong Kong

$54.99

Understanding Central Banks

$44.99

Technologie im Gesundheitswesen

$54.99

Group Theory

$84.99

Reliability Modelling and Optimization of Warm Standby Systems

$109.99

The Origin of Stars and Planetary Systems

$329.99

Sialic Acids

$109.99

Nonreligion in Late Modern Societies

$109.00

Fotografie und Realitt

$59.99

Role of Single Board Computers (SBCs) in rapid IoT Prototyping

$99.99

Children and the Afterlife of State Violence

$39.99

Collected Sonnets Of Charles (Tennyson) Turner

$24.99

Intrapreneurship and Sustainable Human Capital

$109.99

Precision Measurements to Test the Standard Model and for Explosive Nuclear Astrophysics

$109.99

Platons grotesker Irrtum

$9.99

Machine Intelligence and Smart Systems

$169.00

Der neue Online-Handel

$29.99

Internal-Combustion Locomotives and Motor Coaches

$39.99

Functional Adaptive Control

$169.99

Systems, Decision and Control in Energy II

$169.99

Einfhrung in die Elektrizittslehre

$59.99