Аналитический обзор

Posted by: Alexander Kamkin 2 months, 3 weeks ago

В рамках первого этапа проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» написан и опубликован «Аналитический обзор современной научно-технической, нормативной, методической литературы, затрагивающей исследуемую научно-техническую проблему».

В обзоре рассматриваются такие подходы, как

Список рассмотренной литературы включает 96 наименований.

Currently unrated
Share on Twitter Share on Facebook