Margaria Tiziana
Жанры и тэги:
Formal Methods for Industrial Critical Systems. A Survey of Applications
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general defi…
Подробнее