EMFtoCSP: a tool for the lightweight verification of EMF models.

Carlos A. González Fabian Büttner Robert Clarisó Jordi Cabot

Published in: FormSERA@ICSE (2012)

Keyphrases

lightweight
query processing
wireless sensor networks
source code
statistical models
development environments