Главная Margaria Tiziana

Автор: Margaria Tiziana

Formal Methods for Industrial Critical Systems. A Survey of Applications.

Formal Methods for Industrial Critical Systems. A Survey of Applications