Автоматизированное моделирование критических объектов с динамической верификацией безопасности
Введение в автоматизированное моделирование критических объектов Современные критические объекты — это сложные технические системы и инфраструктуры, обеспечивающие жизненно важные функции для общества и промышленности. К таким объектам относятся атомные элек…