Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions.

Published in: FTSCS (2013)

Keyphrases

sufficient conditions
image data
delay insensitive
machine learning
learning algorithm
social networks
information systems
image processing
decision trees
feature extraction
multiscale
multi layer