Conference
Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.
Authors
Kurita T; Chiba M; Nakatsugawa Y
Editors
Cuéllar J; Maibaum TSE; Sere K
Series
Lecture Notes in Computer Science
Volume
5014
Pagination
pp. 425-429
Publisher
Springer
Publication Date
January 1, 2008
ISBN-13
978-3-540-68235-6
Conference proceedings
FM