Login / Signup
An Automated Based Verification Environment for Mobile Processes.
Gian Luigi Ferrari
Gianluigi Ferro
Stefania Gnesi
Ugo Montanari
Marco Pistore
Gioia Ristori
Published in:
TACAS (1997)
Keyphrases
</>
mobile environments
real time
mobile phone
fully automated
semi automated
database
mobile robot
computing environments
neural network
mobile devices
mobile networks
dynamic environments
smart phones
mobile platform
mobile sensor
office environments