Verify Properties of Mobile Code.

Published in: ASE (2001)

Keyphrases

mobile devices
desirable properties
mobile phone
source code
real time
real world
artificial intelligence
website
high level
data management
computing environments
mobile applications
mobile environments
autonomous mobile