Login / Signup
A Case Study in Parallel Verification of Component-Based Systems.
Nikola Benes
Ivana Cerná
Jiri Sochor
Pavlína Vareková
Barbora Zimmerova
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
management system
formal methods
model checking
expert systems
distributed systems
knowledge based systems
learning systems
database
real time
neural network
decision making
case study
building blocks
multimodal biometrics