Login / Signup
Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOL.
Zhenjiang Qian
Wei Liu
Yiyang Yao
Published in:
IEEE Access (2021)
Keyphrases
</>
operating system
theorem prover
smart cities
natural deduction
formal methods
computer systems
smart city
service integration
virtual machine
distributed systems
first order logic
world wide
inference rules
mobile devices
entry point
windows xp
ubiquitous computing
big data
database
data processing
e learning
information systems
neural network