Toggle navigation
Home
People
Departments
Research
About
Login
Search
Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Maibaum, Thomas
Kurita, Taro
Chiba, Miki
Nakatsugawa, Yasumasa
publication date
2008
published in
FM
Journal
Identity
International Standard Book Number (ISBN) 13
978-3-540-68235-6
Additional Document Info
start page
425
end page
429
volume
5014