2008 | ||
---|---|---|
1 | EE | Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa: Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone. FM 2008: 425-429 |
1 | Taro Kurita | [1] |
2 | Yasumasa Nakatsugawa | [1] |