Formal Methods for Industrial Critical Systems: A Survey of Applications - Image 1

£73.19

John Wiley & Sons Inc Formal Methods for Industrial Critical Systems: A Survey of Applications

Name: Formal Methods for Industrial Critical Systems: A Survey of Applications
Brand: John Wiley & Sons Inc
Price: 73.19 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 35 days • 35 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 35 days • 1 price levels

Days at Price

Price Analysis

Most common price: £73 (35 days, 100.0%)

Price range: £73 - £73

Price levels: 1 different prices over 35 days

Description

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Product Specifications

Brand: John Wiley & Sons Inc
Format: paperback
ASIN: 0470876182
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 12 November 2012
Listed Since: 12 April 2010

Barcode

No barcode data available

John Wiley & Sons Inc Formal Methods for Industrial Critical Systems: A Survey of Applications

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Wiley Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))

Springer - Formal Methods and Models for System Design Book

Formal Methods in Manufacturing (Industrial Information Technology)

Design and Safety Assessment of Critical Systems

Formal Methods in Computer Science (Textbooks in Mathematics)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods in Computer Science (Textbooks in Mathematics)

Modern Formal Methods and Applications

Industrial Use of Formal Methods: Formal Verification

Formal Methods: State of the Art and New Directions

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)

Theory and Application of Multi-Formalism Modeling (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Models and Analysis for Distributed Systems

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)

Quantitative Assessments of Distributed Systems: Methodologies and Techniques (Performability Engineering Series)

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems