Visit our Christmas Gift Finder
Formal Methods for Industrial Critical Systems: A Survey of Applications (Paperback)
  • Formal Methods for Industrial Critical Systems: A Survey of Applications (Paperback)
zoom

Formal Methods for Industrial Critical Systems: A Survey of Applications (Paperback)

(author), (author)
£71.50
Paperback 292 Pages / Published: 12/03/2013
  • We can order this

Usually dispatched within 1 week

  • This item has been added to your basket
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.

Publisher: John Wiley and Sons Ltd
ISBN: 9780470876183
Number of pages: 292
Weight: 502 g
Dimensions: 233 x 154 x 18 mm

You may also be interested in...

Pre-Accident Investigations
Added to basket
Structures
Added to basket
£14.99
Paperback
Engineering Fundamentals
Added to basket
Crossing the Chasm
Added to basket
NEC3 Engineering and Construction Contract (ECC)
Added to basket
BTEC First Award Engineering Student Book
Added to basket
Engineering Science
Added to basket
£37.99
Paperback
Science for Engineering, 5th ed
Added to basket
William Armstrong
Added to basket
BTEC First in Engineering Student Book
Added to basket
BTEC National Engineering, 3rd ed
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.