2008 | OriginalPaper | Buchkapitel
Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone
verfasst von : Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa
Erschienen in: FM 2008: Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We have adopted formal specification language in the development of firmware of “Mobile FeliCa” IC chip and have achieved successful results and confirmed its effectiveness.