Nikita Ponomarev

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Formal Verification

Enterprise Architecture

Top Venues

Int. J. Inf. Syst. Model. Des.

Publications

Eduard Babkin, Pavel Malyzhenkov, Marina Ivanova, Nikita Ponomarev
A Methodology for Automatic Formal Verification of Enterprise Architecture. Int. J. Inf. Syst. Model. Des. 10 (1) (2019)