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

Browse the full FM paper archive.