Verification of Aspectual Composition in Feature-Modeling.

Qinglei Zhang Ridha Khédri Jason Jaskolka

Published in: SEFM (2012)

Keyphrases

information retrieval
feature vectors
model checking
databases
machine learning
image retrieval
object detection
temporal logic
formal methods