Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.

Wanling Xie Huibiao Zhu Min Zhang Gang Lu Yucheng Fang

Published in: COMPSAC (1) (2018)

Keyphrases

management system
mobile devices
computing environments
complex systems
neural network
distributed systems
autonomous mobile
database
artificial intelligence
mobile learning
model checking
formal model
formal specification