Automation of Java Card component development using the B method.

David Déharbe Bruno Emerson Gurgel Gomes Anamaria Martins Moreira

Published in: ICECCS (2006)

Keyphrases

open source
pattern matching
matching algorithm
computational efficiency