Margaria Tiziana

Жанры и тэги:

Посмотреть все

09.12.2023

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…

Подробнее