Formal Methods for Industrial Critical Systems
Gnesi, Stefania; Margaria, Tiziana;
评分 暂无
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 no
