Author Info
Name
Affiliation
Papers
LENA BUFFONI
R&D Division, Electricité de France (EDF), Chatou Cedex, France
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