Author Info
Name
Papers
Collaborators
REGINA PELDSZUS
1
6
Citations 
PageRank 
Referers 
1
0.39
4
Referees 
References 
11
6
Title
Citations
PageRank
Year
A methodology for analyzing human-automation interactions in flight operations using formal verification techniques10.392014