• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

A Methodology for Automatic Formal Verification of Enterprise Architecture

Babkin E., Malyzhenkov P. V., Ivanova M., Ponomarev N.