Login / Signup

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.

Tomohiro OdaKeijiro ArakiPeter Gorm Larsen
Published in: FormaliSE@ICSE (2015)
Keyphrases
  • lightweight
  • development environments
  • wireless sensor networks
  • specification language
  • similarity measure
  • power consumption
  • dos attacks
  • communication infrastructure