A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.

Roland Meyer Victor Khomenko Tim Strazny

Published in: Fundam. Informaticae (2009)

Keyphrases

databases
mobile devices
data sets
neural network
mobile robot
mobile phone
intelligent systems
learning systems
autonomous mobile
real time
web services
database systems
management system
context aware
mobile environments