| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Taro Kurita, Yasumasa Nakatsugawa: The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip. Int. J. Software and Informatics 3(2-3): 343-355 (2009) |
| 2008 | ||
| 1 | | 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 | Miki Chiba | [1] |
| 2 | Yasumasa Nakatsugawa | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page