2 papers
cs.SE2018
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture
Yilong Yang, Quan Zu, Peng Liu +2
This paper takes up the problem of medical resource sharing through MicroService architecture without compromising patient privacy. To achieve this goal, we suggest refactoring the…
cs.SE2018
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Yilong Yang, Xiaoshan Li, Quan Zu
With the advancement of software engineering in recent years, the model checking techniques are widely applied in various areas to do the verification for the system model. However…