Research of Formal Analysis Based on Extended Strand Space Theories.

Mengmeng Yao Jun Zhang Xi Weng

Published in: ICIC (2) (2019)

Keyphrases

formal analysis
formal methods
search space
low dimensional
knowledge acquisition
data sets
machine learning
artificial intelligence
information systems
case study
multi agent systems
low cost
access control
space time
software systems