Login / Signup
A Methodology for Automatic Formal Verification of Enterprise Architecture.
Eduard Babkin
Pavel Malyzhenkov
Marina Ivanova
Nikita Ponomarev
Published in:
Int. J. Inf. Syst. Model. Des. (2019)
Keyphrases
</>
formal verification
enterprise architecture
model checking
model checker
automated verification
symbolic model checking
bounded model checking
conceptual model
reference models
artificial intelligence
program slicing
decision makers
project management
general purpose
semi automatic