Miki Chiba

According to our database, Miki Chiba authored at least 1 paper in 2008.

Collaborative distances:

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

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