papers
Publications (3)
cs.SE2018
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Yilong Yang, Xiaoshan Li, Quan Zu
cs.SE2018
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture
Yilong Yang, Quan Zu, Peng Liu +2
cs.SE2018
Automated Prototype Generation from Formal Requirements Model
Yilong Yang, Xiaoshan Li, Zhiming Liu +3