BSmart: A Tool for the Development of Java Card Applications with the B Method.

David Déharbe Bruno Emerson Gurgel Gomes Anamaria Martins Moreira

Published in: ABZ (2008)

Keyphrases

error rate
information systems
case study
software engineering
sensor networks
low cost
open source
development process