C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalization and Verification of the ICC Mechanism in Android System Using CSP.
Yixiao Lv
Jiaqi Yin
Sini Chen
Huibiao Zhu
Published in:
ISSREW (2023)
Keyphrases
</>
constraint satisfaction problems
formal analysis
mobile devices
database
knowledge representation
model checking
constraint satisfaction
wifi
location aware
artificial intelligence
constraint programming
arc consistency
selection mechanism
tree decomposition