Formal Methods for Industrial Critical Systems
- Publisher : John Wiley & Sons
- File Size : 53,7 Mb
- Release Date : 27 November 2012
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