Verifying Mobile Processes in the HAL Environment.

Gian Luigi Ferrari Stefania Gnesi Ugo Montanari Marco Pistore Gioia Ristori

Published in: CAV (1998)

Keyphrases

mobile robot
computing environments
real time
mobile devices
mobile phone
mobile applications
m learning
mobile environments
multimedia
end users
process model
model checking