Login / Signup
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