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

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

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

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

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

Single Product Purchase

$39.99
@ 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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

How to Sell Your Art Online- Live a Successful Creative Life on Your Own Terms by Cory Huff

$16.99

Pattern Recognition and Computer Vision

$109.00

Cognitive Fusion for Target Tracking

$29.99

Jugendlicher Rechtsextremismus und Gewerkschaften

$59.99

Leonardo da Vincis Giant Crossbow

$39.99

Genetic and Evolutionary Computing

$189.00

Disaster Risk Reduction and the Global System

$39.99

International Migration Under Incomplete Information

$54.99

Visualisierungstechniken und Algorithmen

$69.99

Distribution and ecology of vascular plants in a tropical rain forest

$109.99

Gastrointestinal Microbiology

$169.00

Schiffahrt auf dem Zrichsee

$44.99

Formal Specification and Synthesis of Procedural Controllers for Process Systems

$39.99

Kulturelle Integration von Migranten und Flchtlingen im Berufskontext

$17.99

Culture and the Media in the USSR Today

$19.99

Von Mondlandschaften zur Vision eines neuen Seenlandes

$59.99

Reproductive Endocrinology and Infertility

$169.00

Women Educators, Leaders and Activists

$39.99

Finance Bundling and Finance Transformation

$109.99

Nonlinear Waves in Waveguides

$109.99

Marine Mammals

$99.99

Advanced Theories and Computational Approaches to the Electronic Structure of Molecules

$39.99

Solar Prominences

$54.99

Unternehmensstrategie

$44.99

Gasotransmitters Signaling in Plant Abiotic Stress

$199.99

The CORAIL Hip System

$149.00

Funktionsdiagnostik in Endokrinologie, Diabetologie und Stoffwechsel

$119.99

Zwischenberichterstattung brsennotierter Unternehmen

$49.99

Sd-Korea als Auslandsmarkt

$84.99

Global Food Trade and Consumer Demand for Quality

$109.99

New Trends in Chemistry

$39.99

Security Protocols XXIII

$54.99

Peri-operative Anesthetic Management in Liver Transplantation

$79.99

Die Gemeinden und der Gemeinsame Markt

$59.99

Two-Phase Flow in Refrigeration Systems

$84.99

Living Lawfully

$109.99

Multimedia Content Analysis

$109.99

Innovations in Intelligent Machines-4

$169.99

Developing Reflective TESOL Practitioners Through Teacher Education

$84.99

Modeling Energetic Efficiency of Biofuels Production

$109.99