Towards Verification of Ensemble-Based Component Systems.

Jiri Barnat Nikola Benes Tomás Bures Ivana Cerná Jaroslav Keznikl Frantisek Plasil

Published in: FACS (2013)

Keyphrases

complex systems
databases
asynchronous circuits
automated verification
pruning algorithm
formal methods
computing systems
retrieval systems
computer systems
management system
hidden markov models
database systems
search engine
neural network
knowledge based systems
feature selection
social networks
data sets