Author Info
Name
Affiliation
Papers
JING YANG
Univ. Lille Nord de FranceLilleF-59000France
1
Collaborators
Citations 
PageRank 
2
1
0.35
Referers 
Referees 
References 
6
62
28
Title
Citations
PageRank
Year
A pattern-based method for refining and formalizing informal specifications in critical control systems10.352015