Modular Verification of Concurrent Thread Management.

Yu Guo Xinyu Feng Zhong Shao Peizhi Shi

Published in: APLAS (2012)

Keyphrases

management system
information systems
decision support
data processing
model checking
information management
data sets
neural network
machine learning
decision making
knowledge management
face verification
verification method
modular neural networks
dynamically created