Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.
Taro KuritaMiki ChibaYasumasa NakatsugawaPublished in: FM (2008)
Keyphrases
- mobile phone
- mobile technologies
- mobile devices
- mobile users
- smart phones
- mobile learning
- m learning
- mobile applications
- mobile phone users
- software engineering
- cellular phone
- mobile games
- qr code
- context aware
- development process
- knowledge based systems
- artificial intelligence
- key technologies
- low cost
- small screen
- ibm zenterprise
- short message service