Author Info
Name
Affiliation
Papers
JOHAN ARCILE
Univ Evry Val dEssonne, Lab IBISC, Evry, France
2
Collaborators
Citations 
PageRank 
5
2
0.74
Referers 
Referees 
References 
5
41
14
Title
Citations
PageRank
Year
Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study.00.342017
Deadlock and Temporal Properties Analysis in Mixed Reality Applications20.402014