Sign in

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

Carlos A. GonzálezFabian BüttnerRobert ClarisóJordi Cabot
Published in: FormSERA@ICSE (2012)
Keyphrases
  • lightweight
  • query processing
  • wireless sensor networks
  • source code
  • statistical models
  • development environments