Dynamic Component Substitutability Analysis.

Natasha Sharygina Sagar Chaki Edmund M. Clarke Nishant Sinha

Published in: FM (2005)

Keyphrases

data analysis
artificial intelligence
computer vision
dynamic environments
decision trees
dynamically changing