Travelled to:
1 × Finland
1 × Norway
Collaborated with:
F.Ishikawa K.Araki M.Chiba Y.Nakatsugawa
Talks about:
mobil (3) firmwar (2) formal (2) applic (2) feli (2) chip (2) document (1) practic (1) languag (1) develop (1)
Person: Taro Kurita
DBLP: Kurita:Taro
Contributed to:
Wrote 2 papers:
- FM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling
- Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
- FM-2008-KuritaCN #development #mobile #specification
- Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone (TK, MC, YN), pp. 425–429.