Yasumasa Nakatsugawa

According to our database, Yasumasa Nakatsugawa authored at least 2 papers between 2008 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip.

Taro Kurita, Yasumasa Nakatsugawa

Int. J. Softw. Informatics, 2009

2008

Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.

Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa

Proceedings of the FM 2008: Formal Methods, 2008