Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware.

Taro Kurita Fuyuki Ishikawa Keijiro Araki

Published in: FM (2015)

Keyphrases

formal models
low cost
information retrieval
mobile devices
document collections
relevant documents
artificial intelligence
case study
keywords
xml documents
mobile phone
text documents
power consumption