Modeling and Verification of Component Connectors.

Published in: ICFEM (2018)

Keyphrases

machine learning
modeling method
concurrent systems
databases
metadata
image processing
high level
multi agent systems
model checking
face verification
modeling framework