Mobile Embedded System Co-Verification Modeling Using Java Observability.

Sherif G. Aly Ashraf M. Salem

Published in: Embedded Systems and Applications (2003)

Keyphrases

model checking
mobile devices
open source
mobile phone
byte code
object oriented
development environment
location aware
signature verification
databases
programming language
database applications