Login / Signup
The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip.
Taro Kurita
Yasumasa Nakatsugawa
Published in:
Int. J. Softw. Informatics (2009)
Keyphrases
</>
smart card
high speed
high density
secure communication
software engineering
low cost
operating system
security requirements