Application of a formal specification language in the development of the "mobile FeliCa" IC chip firmware for embedding in mobile phone

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5014 LNCS, Issue , 2008, Pages 425-429

  Kurita, Taro ^a   Chiba, Miki ^b   Nakatsugawa, Yasumasa ^b  

^a FeliCa Networks Inc

^b SONY CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION LANGUAGES; HEIDELBERG (CO); INTERNATIONAL SYMPOSIUM;

FIRMWARE; LINGUISTICS; TELECOMMUNICATION; TELECOMMUNICATION EQUIPMENT;

FORMAL METHODS;

EID: 47249129016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68237-0_31     Document Type: Conference Paper

References (1)

1. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, Heidelberg (2005)