Taro Kurita

According to our database, Taro Kurita authored at least 5 papers between 2008 and 2019.

Collaborative distances:

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

2019

Call Me Back, I Have a Type Invariant.

M. Anthony Aiello, Johannes Kanig, Taro Kurita

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2016

Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract).

Keijiro Araki, Taro Kurita

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware.

Taro Kurita, Fuyuki Ishikawa, Keijiro Araki

Proceedings of the FM 2015: Formal Methods, 2015

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