Login / Signup
Yu-Mei Liu
Publication Activity (10 Years)
Years Active: 1999-2019
Publications (10 Years): 1
Top Topics
Timed Automata
Automated Verification
Learning Methodologies
Software Product Line
Top Venues
Int. J. Comput. Sci. Eng.
</>
Publications
</>
Ming-Yu Huang
,
Yu-Mei Liu
Model checking software product lines based on feature slicing.
Int. J. Comput. Sci. Eng.
18 (4) (2019)
Yu-Mei Liu
,
Shoubao Yang
,
Leitao Guo
A Distributed Trust-based Reputation Model in P2P System.
SNPD (1)
(2007)
Zi-Li Deng
,
Yu-Mei Liu
Descriptor Kalman estimators.
Int. J. Syst. Sci.
30 (11) (1999)