From Scenarios to Test Implementations Via Promela.

Andreas Ulrich El Hachemi Alikacem Hesham Hallal Sergiy Boroday

Published in: ICTSS (2010)

Keyphrases

efficient implementation
statistical significance
software testing
data sets
neural network
trade off
control system
wireless sensor networks
statistically significant
statistical tests