A Hierarchical Methodology for Verifying Microprogrammed Microprocessors.

Phillip J. Windley

Published in: IEEE Symposium on Security and Privacy (1990)

Keyphrases

personal computer
databases
machine learning
artificial intelligence
case study
artificial neural networks
model checking
learning algorithm
feature selection
multi agent
conceptual framework
computer architecture
computing power
hierarchical model
hierarchical representation