DCCL: verification of component systems with ensembles.

Jiri Barnat Nikola Benes Ivana Cerná Zuzana Petruchová

Published in: CBSE (2013)

Keyphrases

distributed systems
real world
computer vision
management system
retrieval systems
e learning
website
image sequences
digital libraries
computer systems
building blocks
software systems
petri net