Taro Kurita
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2008–2019
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Call Me Back, I Have a Type Invariant. | M. Anthony Aiello, Johannes Kanig, Taro Kurita |
| 2016 | ICFEM | Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract). | Keijiro Araki, Taro Kurita |
| 2015 | FM | Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. | Taro Kurita, Fuyuki Ishikawa, Keijiro Araki |
| 2008 | FM | 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 |