Login / Signup

Evaluating the effect of a lightweight formal technique in industry.

Ammar OsaiweranMathijs SchutsJozef HoomanJan Friso GrooteBart J. van Rijnsoever
Published in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
  • lightweight
  • case study
  • formal specification
  • formal model
  • development environments
  • communication networks
  • communication infrastructure
  • low cost
  • handheld devices