Verification techniques for policy based systems.

Erisa Karafili Stephen Pipes Emil C. Lupu

Published in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)

Keyphrases

management system
computer systems
complex systems
neural network
computing systems
data sets
databases
artificial intelligence
learning environment
expert systems
intelligent systems
access control
retrieval systems
model checking
asynchronous circuits
verification method