Formal Methods for Industrial Critical Systems
Stefania Gnesi; Tiziana Margaria · ISBN 9780470876183
Julkaistu 2013 Kieli englanti nidottu
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 met...