Stefania Gnesi: 1 book
Formal Methods for Industrial Critical Systems
A Survey of Applications
Language: English
Release Date: November 27, 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 having a precise mathematical semantics, together with their associated analysis methods,...
