On the Expressiveness of Synchronization in Component Deployment.

Jacopo Mauro Gianluigi Zavattaro

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

real time
expressive power
computer vision
software components
data sets
artificial intelligence
feature selection
multi agent
data structure
preprocessing
information technology
music score