Login / Signup
Towards modelling and analysis of a coordination protocol for dynamic software adaptation.
Najla Hadj Kacem
Ahmed Hadj Kacem
Mohamed Jmaiel
Khalil Drira
Published in:
CSTST (2008)
Keyphrases
</>
static analysis
source code
neural network
image analysis
analysis tool
dynamic analysis
data sets
multi agent
cooperative
user interface
wireless sensor networks
statistical analysis
multiagent systems
software design
formal analysis
impact analysis