Old Web
English
Sign In
Acemap
>
Paper
>
Model Checking the Reliability of Interactive Behaviors for Mobile Computing
Model Checking the Reliability of Interactive Behaviors for Mobile Computing
2011
Honghao Gao
Huaikou Miao
Shuoping Wang
Jia Mei
Yang Liu
Keywords:
Mobile computing
Computer science
Model checking
Theoretical computer science
Distributed computing
Knowledge management
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
15
References
2
Citations
NaN
KQI
[]