Author Info
Name
Affiliation
Papers
NGUYEN THUY
Department of Informatics, University of Calabria, Rende (CS), Italy
1
Collaborators
Citations 
PageRank 
10
1
0.51
Referers 
Referees 
References 
2
9
4
Title
Citations
PageRank
Year
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution10.512016