Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods for Industrial Critical Systems: A Survey of Applications

for $ 70.99

70.99 Formal Methods for Industrial Critical Systems: A Survey of Applications http://covers.feedbooks.net/item/378790.jpg?t=1397100289 http://www.feedbooks.com/item/378790/formal-methods-for-industrial-critical-systems-a-survey-of-applications?utm_medium=uwishlist&utm_source=amazon

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… (more)

Comments (0 comments)


No comment yet. Sign in to post a comment.

Book Details  


Publisher: Wiley-IEEE Computer Society Pr (November 27, 2012)

Format: EPUB

Page count: 292 pages

File size: 5.4 MB

Protection: DRM

Language: English


Look for similar items  


>
>