Login / Signup
Qin Zhang
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Service Oriented Architecture
Security Issues
Development Environments
Data Driven
Top Venues
ME@MoDELS
Adv. Comput.
</>
Publications
</>
Levi Lucio
,
Qin Zhang
,
Phu Hong Nguyen
,
Moussa Amrani
,
Jacques Klein
,
Hans Vangheluwe
,
Yves Le Traon
Advances in Model-Driven Security.
Adv. Comput.
93 (2014)
Levi Lúcio
,
Eugene Syriani
,
Moussa Amrani
,
Qin Zhang
,
Hans Vangheluwe
Invariant preservation in iterative modeling.
ME@MoDELS
(2012)
Levi Lucio
,
Qin Zhang
,
Vasco Sousa
,
Yves Le Traon
Verifying Access Control in Statecharts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
50 (2011)