Verification of component architectures using mode-based contracts.

Stefan Kugele Diego Marmsoler Nuria Mata Kai Werther

Published in: MEMOCODE (2016)

Keyphrases

real time
machine learning
formal verification
image segmentation
supply chain
software components
multiresolution
data mining
genetic algorithm
computer vision
distributed systems
model checking
mixed mode